diff --git a/src/add-ons/kernel/busses/pci/designware/MsiInterruptCtrlDW.cpp b/src/add-ons/kernel/busses/pci/designware/MsiInterruptCtrlDW.cpp
index 719d8a012b..932fde4157 100644
--- a/src/add-ons/kernel/busses/pci/designware/MsiInterruptCtrlDW.cpp
+++ b/src/add-ons/kernel/busses/pci/designware/MsiInterruptCtrlDW.cpp
@@ -6,6 +6,8 @@
 
 #include "DWPCIController.h"
 
+#include <int.h>
+
 
 status_t
 MsiInterruptCtrlDW::Init(PciDbiRegs volatile* dbiRegs, int32 msiIrq)