Index: head/sys/dev/ntb/ntb_hw/ntb_hw_intel.c
===================================================================
--- head/sys/dev/ntb/ntb_hw/ntb_hw_intel.c
+++ head/sys/dev/ntb/ntb_hw/ntb_hw_intel.c
@@ -61,6 +61,7 @@
 #include <machine/resource.h>
 #include <dev/pci/pcireg.h>
 #include <dev/pci/pcivar.h>
+#include <dev/iommu/iommu.h>
 
 #include "ntb_hw_intel.h"
 #include "../ntb.h"
Index: head/sys/dev/ntb/ntb_hw/ntb_hw_plx.c
===================================================================
--- head/sys/dev/ntb/ntb_hw/ntb_hw_plx.c
+++ head/sys/dev/ntb/ntb_hw/ntb_hw_plx.c
@@ -49,6 +49,7 @@
 #include <machine/resource.h>
 #include <dev/pci/pcireg.h>
 #include <dev/pci/pcivar.h>
+#include <dev/iommu/iommu.h>
 
 #include "../ntb.h"