Searched defs:NonSecurePL1TimerFlags (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/ | ||
H A D | Acpi50.h | 1298 UINT32 NonSecurePL1TimerFlags; member in struct:__anon11566 |
Completed in 44 milliseconds