/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/

• ../
• BootService.c
• README
• RunTime.c
• VBoxInterceptor.c
• VBoxInterceptor.h
• VBoxInterceptorDxe.inf
• boot_service_table.h
• interceptor.h
• print_types.h
• runtime_service_table.h