#define EDKII_PLATFORM_SPECIFIC_RESET_FILTER_PPI_GUID \\r
{ 0x8c9f4de3, 0x7b90, 0x47ef, { 0x93, 0x8, 0x28, 0x7c, 0xec, 0xd6, 0x6d, 0xe8 } }\r
\r
#define EDKII_PLATFORM_SPECIFIC_RESET_FILTER_PPI_GUID \\r
{ 0x8c9f4de3, 0x7b90, 0x47ef, { 0x93, 0x8, 0x28, 0x7c, 0xec, 0xd6, 0x6d, 0xe8 } }\r
\r