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