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