#define EFI_HARDWARE_INTERRUPT_PROTOCOL_GGUID \\r
{ 0x2890B3EA, 0x053D, 0x1643, { 0xAD, 0x0C, 0xD6, 0x48, 0x08, 0xDA, 0x3F, 0xF1 } }\r
\r
#define EFI_HARDWARE_INTERRUPT_PROTOCOL_GGUID \\r
{ 0x2890B3EA, 0x053D, 0x1643, { 0xAD, 0x0C, 0xD6, 0x48, 0x08, 0xDA, 0x3F, 0xF1 } }\r
\r