Searched defs:x64HealthFlags (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Ppi/ | ||
| H A D | SecPlatformInformation.h | 141 X64_HANDOFF_STATUS x64HealthFlags; member in union:__anon12015 |
Completed in 32 milliseconds