diff --git a/src/system/kernel/arch/x86/32/descriptors.cpp b/src/system/kernel/arch/x86/32/descriptors.cpp
index b5bde1d65c..2a957e3e66 100644
--- a/src/system/kernel/arch/x86/32/descriptors.cpp
+++ b/src/system/kernel/arch/x86/32/descriptors.cpp
@@ -17,6 +17,7 @@
 
 #include <boot/kernel_args.h>
 #include <cpu.h>
+#include <int.h>
 #include <tls.h>
 #include <vm/vm.h>
 #include <vm/vm_priv.h>