#include <PiDxe.h>\r
#include <Protocol/DriverConfiguration2.h>\r
\r
-//\r
-// Global ID for the Driver Configuration Protocol defined in UEFI 2.0\r
-//\r
+///\r
+/// Global ID for the Driver Configuration Protocol defined in UEFI 2.0\r
+///\r
#define EFI_DRIVER_CONFIGURATION_PROTOCOL_GUID \\r
{ \\r
0x107a772b, 0xd5e1, 0x11d4, {0x9a, 0x46, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \\r