Searched refs:gEfiEventNotificationTypeNmiGuid (Results 1 – 3 of 3) sorted by relevance
44 EFI_GUID gEfiEventNotificationTypeNmiGuid = { 0x5BAD89FF, variable
1357 extern EFI_GUID gEfiEventNotificationTypeNmiGuid;
195 &gEfiEventNotificationTypeNmiGuid)) { in cper_header_to_ir()