0xd487ddb4, 0x008b, 0x11d9, {0xaf, 0xdc, 0x00, 0x10, 0x83, 0xff, 0xca, 0x4d } \\r
}\r
\r
-extern EFI_GUID gEfiPcAnsiGuid;\r
-extern EFI_GUID gEfiVT100Guid;\r
-extern EFI_GUID gEfiVT100PlusGuid;\r
-extern EFI_GUID gEfiVTUTF8Guid;\r
-extern EFI_GUID gEfiUartDevicePathGuid;\r
-extern EFI_GUID gEfiSasDevicePathGuid;\r
+extern EFI_GUID gEfiPcAnsiGuid;\r
+extern EFI_GUID gEfiVT100Guid;\r
+extern EFI_GUID gEfiVT100PlusGuid;\r
+extern EFI_GUID gEfiVTUTF8Guid;\r
+extern EFI_GUID gEfiUartDevicePathGuid;\r
+extern EFI_GUID gEfiSasDevicePathGuid;\r
\r
#endif\r