drivers: hpet: fix includes

IRQ APIs were being used without pulling in the proper header. Signed-off-by: Andrew Boie <[email protected]>
mlaz · Oct 9, 2019 · b12a094 · b12a094
1 parent 3ffb89a
commit b12a094
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/drivers/timer/hpet.c b/drivers/timer/hpet.c
@@ -6,6 +6,7 @@
 #include <drivers/timer/system_timer.h>
 #include <sys_clock.h>
 #include <spinlock.h>
+#include <irq.h>
 
 #define HPET_REG32(off) (*(volatile u32_t *)(long)			\
 		       (DT_INST_0_INTEL_HPET_BASE_ADDRESS + (off)))