diff --git a/src/mainboard/amd/inagua/irq_tables.c b/src/mainboard/amd/inagua/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/amd/inagua/irq_tables.c
+++ b/src/mainboard/amd/inagua/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/olivehill/irq_tables.c b/src/mainboard/amd/olivehill/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/amd/olivehill/irq_tables.c
+++ b/src/mainboard/amd/olivehill/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/parmer/irq_tables.c b/src/mainboard/amd/parmer/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/amd/parmer/irq_tables.c
+++ b/src/mainboard/amd/parmer/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/persimmon/irq_tables.c b/src/mainboard/amd/persimmon/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/amd/persimmon/irq_tables.c
+++ b/src/mainboard/amd/persimmon/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/south_station/irq_tables.c b/src/mainboard/amd/south_station/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/amd/south_station/irq_tables.c
+++ b/src/mainboard/amd/south_station/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/thatcher/irq_tables.c b/src/mainboard/amd/thatcher/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/amd/thatcher/irq_tables.c
+++ b/src/mainboard/amd/thatcher/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/amd/union_station/irq_tables.c b/src/mainboard/amd/union_station/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/amd/union_station/irq_tables.c
+++ b/src/mainboard/amd/union_station/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/bap/ode_e20XX/irq_tables.c b/src/mainboard/bap/ode_e20XX/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/bap/ode_e20XX/irq_tables.c
+++ b/src/mainboard/bap/ode_e20XX/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/elmex/pcm205400/irq_tables.c b/src/mainboard/elmex/pcm205400/irq_tables.c
index 804f52dcc5..d1149968aa 100644
--- a/src/mainboard/elmex/pcm205400/irq_tables.c
+++ b/src/mainboard/elmex/pcm205400/irq_tables.c
@@ -15,6 +15,7 @@
 
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/gizmosphere/gizmo2/irq_tables.c b/src/mainboard/gizmosphere/gizmo2/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/gizmosphere/gizmo2/irq_tables.c
+++ b/src/mainboard/gizmosphere/gizmo2/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/hp/abm/irq_tables.c b/src/mainboard/hp/abm/irq_tables.c
index 530c132a05..181908a8ad 100644
--- a/src/mainboard/hp/abm/irq_tables.c
+++ b/src/mainboard/hp/abm/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/lippert/frontrunner-af/irq_tables.c b/src/mainboard/lippert/frontrunner-af/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/lippert/frontrunner-af/irq_tables.c
+++ b/src/mainboard/lippert/frontrunner-af/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>
diff --git a/src/mainboard/lippert/toucan-af/irq_tables.c b/src/mainboard/lippert/toucan-af/irq_tables.c
index a066864abd..1d1e81f05e 100644
--- a/src/mainboard/lippert/toucan-af/irq_tables.c
+++ b/src/mainboard/lippert/toucan-af/irq_tables.c
@@ -14,6 +14,7 @@
  */
 
 #include <console/console.h>
+#include <device/pci_def.h>
 #include <string.h>
 #include <stdint.h>
 #include <arch/pirq_routing.h>