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