Searched refs:Xen (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/PlatformPei/ | ||
| H A D | Platform.c | 219 BOOLEAN Xen 232 if (!Xen) { 320 BOOLEAN Xen; local 329 Xen = EFI_ERROR (Status) ? FALSE : TRUE; 337 MiscInitialization (Xen); |
Completed in 124 milliseconds