#define EDKII_NON_DISCOVERABLE_XHCI_DEVICE_GUID \\r
{ 0xB1BE0BC5, 0x6C28, 0x442D, {0xAA, 0x37, 0x15, 0x1B, 0x42, 0x57, 0xBD, 0x78 } }\r
\r
-\r
-extern EFI_GUID gEdkiiNonDiscoverableAhciDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableAmbaDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableEhciDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableNvmeDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableOhciDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableSdhciDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableUfsDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableUhciDeviceGuid;\r
-extern EFI_GUID gEdkiiNonDiscoverableXhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableAhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableAmbaDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableEhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableNvmeDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableOhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableSdhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableUfsDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableUhciDeviceGuid;\r
+extern EFI_GUID gEdkiiNonDiscoverableXhciDeviceGuid;\r
\r
#endif\r