diff --git a/src/system/kernel/arch/x86/timers/x86_hpet.c b/src/system/kernel/arch/x86/timers/x86_hpet.c
index c517b2d655..01fdd16949 100644
--- a/src/system/kernel/arch/x86/timers/x86_hpet.c
+++ b/src/system/kernel/arch/x86/timers/x86_hpet.c
@@ -6,6 +6,7 @@
 
 #include <timer.h>
 #include <arch/x86/timer.h>
+#include <arch/x86/arch_hpet.h>
 
 #include "hpet.h"