/// resource configuration requirements if the specified device is a recognized\r
/// incompatible PCI device.\r
///\r
- EFI_INCOMPATIBLE_PCI_DEVICE_SUPPORT_CHECK_DEVICE CheckDevice;\r
+ EFI_INCOMPATIBLE_PCI_DEVICE_SUPPORT_CHECK_DEVICE CheckDevice;\r
};\r
\r
-extern EFI_GUID gEfiIncompatiblePciDeviceSupportProtocolGuid;\r
+extern EFI_GUID gEfiIncompatiblePciDeviceSupportProtocolGuid;\r
\r
#endif\r