Searched refs:gVBoxVgaDriverSupportedEfiVersion (Results 1 - 3 of 3) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxVgaDxe/
H A DDriverSupportedEfiVersion.c44 EFI_DRIVER_SUPPORTED_EFI_VERSION_PROTOCOL gVBoxVgaDriverSupportedEfiVersion = { variable
H A DVBoxVga.h154 extern EFI_DRIVER_SUPPORTED_EFI_VERSION_PROTOCOL gVBoxVgaDriverSupportedEfiVersion;
H A DVBoxVga.c1067 gVBoxVgaDriverSupportedEfiVersion.FirmwareVersion = PcdGet32 (PcdDriverSupportedEfiVersion);
1071 &gVBoxVgaDriverSupportedEfiVersion,

Completed in 287 milliseconds