#include <Library/MemoryAllocationLib.h>\r
#include <Library/PciHostBridgeLib.h>\r
#include <Protocol/PciHostBridgeResourceAllocation.h>\r
+#include <Protocol/IoMmu.h>\r
\r
#include "PciRootBridge.h"\r
\r
);\r
\r
extern EFI_CPU_IO2_PROTOCOL *mCpuIo;\r
+extern EDKII_IOMMU_PROTOCOL *mIoMmu;\r
+\r
#endif\r