Searched refs:gEfiEventNotificationTypeSeaGuid (Results 1 – 3 of 3) sorted by relevance
59 EFI_GUID gEfiEventNotificationTypeSeaGuid = { 0x9A78788A, variable
1360 extern EFI_GUID gEfiEventNotificationTypeSeaGuid;
204 &gEfiEventNotificationTypeSeaGuid)) { in cper_header_to_ir()