Searched defs:EFI_CPU_DATA_RECORD (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkPkg/Include/Guid/ | ||
| H A D | DataHubRecords.h | 842 } EFI_CPU_DATA_RECORD; typedef in typeref:struct:__anon10597 |
Completed in 55 milliseconds