#define EFI_HII_CONFIG_ROUTING_PROTOCOL_GUID \\r
{ 0x587e72d7, 0xcc50, 0x4f79, { 0x82, 0x09, 0xca, 0x29, 0x1f, 0xc1, 0xa1, 0x0f } }\r
\r
#define EFI_HII_CONFIG_ROUTING_PROTOCOL_GUID \\r
{ 0x587e72d7, 0xcc50, 0x4f79, { 0x82, 0x09, 0xca, 0x29, 0x1f, 0xc1, 0xa1, 0x0f } }\r
\r