PciHPCInitialized (\r
IN EFI_EVENT Event,\r
IN VOID *Context\r
- )\r
-;\r
+ );\r
\r
/**\r
Compare two device path\r
EfiCompareDevicePath (\r
IN EFI_DEVICE_PATH_PROTOCOL *DevicePath1,\r
IN EFI_DEVICE_PATH_PROTOCOL *DevicePath2\r
- )\r
-;\r
+ );\r
\r
/**\r
Init hot plug support and root hot plug private data.\r
EFI_STATUS\r
InitializeHotPlugSupport (\r
VOID\r
- )\r
-;\r
+ );\r
\r
/**\r
Test whether PCI device is hot plug bus.\r
EFI_STATUS\r
IsPciHotPlugBus (\r
PCI_IO_DEVICE *PciIoDevice\r
- )\r
-;\r
+ );\r
\r
/**\r
Test whether device path is for root pci hot plug bus\r
IsRootPciHotPlugBus (\r
IN EFI_DEVICE_PATH_PROTOCOL *HpbDevicePath,\r
OUT UINTN *HpIndex\r
- )\r
-;\r
+ );\r
\r
/**\r
Test whether device path is for root pci hot plug controller\r
IsRootPciHotPlugController (\r
IN EFI_DEVICE_PATH_PROTOCOL *HpcDevicePath,\r
OUT UINTN *HpIndex\r
- )\r
-;\r
+ );\r
\r
/**\r
Wrapper for creating event object for HPC \r
CreateEventForHpc (\r
IN UINTN HpIndex,\r
OUT EFI_EVENT *Event\r
- )\r
-;\r
+ );\r
\r
/**\r
Wait for all root HPC initialized.\r
EFI_STATUS\r
AllRootHPCInitialized (\r
IN UINTN TimeoutInMicroSeconds\r
- )\r
-;\r
+ );\r
\r
/**\r
Check HPC capability register block\r
EFI_STATUS\r
IsSHPC (\r
PCI_IO_DEVICE *PciIoDevice\r
- )\r
-;\r
+ );\r
\r
/**\r
Get resource padding for hot plug bus\r
EFI_STATUS\r
GetResourcePaddingForHpb (\r
IN PCI_IO_DEVICE *PciIoDevice\r
- )\r
-;\r
+ );\r
\r
#endif\r