/// disabled in hardware, or it may be disabled due to user preferences,\r
/// hardware failure, or other reasons. No resource padding is required.\r
///\r
-#define EFI_HPC_STATE_INITIALIZED 0x01\r
+#define EFI_HPC_STATE_INITIALIZED 0x01\r
\r
///\r
/// The HPC initialization function was called, the HPC completed\r
/// initialization, and it was enabled. Resource padding is required.\r
///\r
-#define EFI_HPC_STATE_ENABLED 0x02\r
+#define EFI_HPC_STATE_ENABLED 0x02\r
\r
///\r
/// Location definition for PCI Hot Plug Controller\r
///\r
-typedef struct{\r
+typedef struct {\r
///\r
///\r
/// The device path to the root HPC. An HPC cannot control its parent buses.\r
/// correct HpcPciAddress to the InitializeRootHpc() and GetResourcePadding()\r
/// functions.\r
///\r
- EFI_DEVICE_PATH_PROTOCOL *HpcDevicePath;\r
+ EFI_DEVICE_PATH_PROTOCOL *HpcDevicePath;\r
///\r
/// The device path to the Hot Plug Bus (HPB) that is controlled by the root\r
/// HPC. The PCI bus driver uses this information to check if a particular PCI\r
/// device path of its parent. For Standard(PCI) Hot Plug Controllers (SHPCs)\r
/// and PCI Express*, HpbDevicePath is the same as HpcDevicePath.\r
///\r
- EFI_DEVICE_PATH_PROTOCOL *HpbDevicePath;\r
+ EFI_DEVICE_PATH_PROTOCOL *HpbDevicePath;\r
} EFI_HPC_LOCATION;\r
\r
///\r
///\r
/// Returns a list of root HPCs and the buses that they control.\r
///\r
- EFI_GET_ROOT_HPC_LIST GetRootHpcList;\r
+ EFI_GET_ROOT_HPC_LIST GetRootHpcList;\r
\r
///\r
/// Initializes the specified root HPC.\r
///\r
- EFI_INITIALIZE_ROOT_HPC InitializeRootHpc;\r
+ EFI_INITIALIZE_ROOT_HPC InitializeRootHpc;\r
\r
///\r
/// Returns the resource padding that is required by the HPC.\r
///\r
- EFI_GET_HOT_PLUG_PADDING GetResourcePadding;\r
+ EFI_GET_HOT_PLUG_PADDING GetResourcePadding;\r
};\r
\r
-extern EFI_GUID gEfiPciHotPlugInitProtocolGuid;\r
+extern EFI_GUID gEfiPciHotPlugInitProtocolGuid;\r
\r
#endif\r