Searched +path:vboxinterceptordxe +path:. +path:efi (Results 1 - 9 of 9) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A DVBoxInterceptorDxe.inf
H A DBootService.c
H A DRunTime.c
H A DVBoxInterceptor.c
H A DVBoxInterceptor.h
H A Dboot_service_table.h
H A Dinterceptor.h
H A Dprint_types.h
H A Druntime_service_table.h

Completed in 44 milliseconds