+#define EFI_EVENT_NOTIFICATION_TYPE_DMAR_SEA \\r
+ { \\r
+ 0x9A78788A, 0xBBE8, 0x11E4, { 0x80, 0x9E, 0x67, 0x61, 0x1E, 0x5D, 0x46, 0xB0 } \\r
+ }\r
+#define EFI_EVENT_NOTIFICATION_TYPE_DMAR_SEI \\r
+ { \\r
+ 0x5C284C81, 0xB0AE, 0x4E87, { 0xA3, 0x22, 0xB0, 0x4C, 0x85, 0x62, 0x43, 0x23 } \\r
+ }\r
+#define EFI_EVENT_NOTIFICATION_TYPE_DMAR_PEI \\r
+ { \\r
+ 0x09A9D5AC, 0x5204, 0x4214, { 0x96, 0xE5, 0x94, 0x99, 0x2E, 0x75, 0x2B, 0xCD } \\r
+ }\r