From b12a094d636696b6febe0bffa68df4b910055c9f Mon Sep 17 00:00:00 2001
From: Andrew Boie <andrew.p.boie@intel.com>
Date: Thu, 3 Oct 2019 14:37:57 -0700
Subject: [PATCH] drivers: hpet: fix includes

IRQ APIs were being used without pulling in the proper header.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
---
 drivers/timer/hpet.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/drivers/timer/hpet.c b/drivers/timer/hpet.c
index 2626cccc533f..0430dcd42aa9 100644
--- 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)))