Searched refs:EFI_CPU_DATA_RECORD (Results 1 – 6 of 6) sorted by relevance
71 MISC_SMBIOS_TABLE_DATA(EFI_CPU_DATA_RECORD, MiscProcessorInformation) = {
49 MISC_SMBIOS_TABLE_EXTERNS(EFI_CPU_DATA_RECORD, MiscProcessorInformation, MiscProcessorInformation);…
178 EFI_CPU_DATA_RECORD *ForType4InputData;205 ForType4InputData = (EFI_CPU_DATA_RECORD *)RecordData;
488 } EFI_CPU_DATA_RECORD; typedef
842 } EFI_CPU_DATA_RECORD; typedef
281 } EFI_CPU_DATA_RECORD;