/** @file\r
This file declares EFI PCI Hot Plug Init Protocol\r
+ This protocol provides the necessary functionality to initialize the Hot Plug Controllers (HPCs) and\r
+ the buses that they control. This protocol also provides information regarding resource padding.\r
\r
Copyright (c) 2007, Intel Corporation\r
All rights reserved. This program and the accompanying materials\r
#ifndef _EFI_PCI_HOT_PLUG_INIT_H_\r
#define _EFI_PCI_HOT_PLUG_INIT_H_\r
\r
+#include <PiDxe.h>\r
+\r
//\r
// Global ID for the PCI Hot Plug Protocol\r
//\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_GET_ROOT_HPC_LIST) (\r
+(EFIAPI *EFI_GET_ROOT_HPC_LIST)(\r
IN EFI_PCI_HOT_PLUG_INIT_PROTOCOL *This,\r
OUT UINTN *HpcCount,\r
OUT EFI_HPC_LOCATION **HpcList\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_INITIALIZE_ROOT_HPC) (\r
+(EFIAPI *EFI_INITIALIZE_ROOT_HPC)(\r
IN EFI_PCI_HOT_PLUG_INIT_PROTOCOL *This,\r
IN EFI_DEVICE_PATH_PROTOCOL *HpcDevicePath,\r
IN UINT64 HpcPciAddress,\r
**/\r
typedef\r
EFI_STATUS\r
-(EFIAPI *EFI_GET_PCI_HOT_PLUG_PADDING) (\r
+(EFIAPI *EFI_GET_PCI_HOT_PLUG_PADDING)(\r
IN EFI_PCI_HOT_PLUG_INIT_PROTOCOL *This,\r
IN EFI_DEVICE_PATH_PROTOCOL *HpcDevicePath,\r
IN UINT64 HpcPciAddress,\r