Searched refs:gEfiEventNotificationTypeMceGuid (Results 1 – 3 of 3) sorted by relevance
29 EFI_GUID gEfiEventNotificationTypeMceGuid = { 0xE8F56FFE, variable
1341 extern EFI_GUID gEfiEventNotificationTypeMceGuid;
186 &gEfiEventNotificationTypeMceGuid)) { in cper_header_to_ir()