/src/VBox/Devices/EFI/Firmware/VBoxPkg/Include/

• ../
• DevEFI.h
• Guid
• IndustryStandard
• VBoxDebugLib.h
• VBoxMemLayout.h
• VBoxPkg.h