diff --git a/drivers/timer/hpet.c b/drivers/timer/hpet.c
index 01ed9d0c243..66d8fa84978 100644
--- a/drivers/timer/hpet.c
+++ b/drivers/timer/hpet.c
@@ -152,18 +152,6 @@ static inline void hpet_gconf_set(uint32_t val)
 	sys_write32(val, GCONF_REG);
 }
 
-/**
- * @brief Write to General Interrupt Status Register
- *
- * This is used to acknowledge and clear interrupt bits.
- *
- * @param val Value to be written to the register
- */
-static inline void hpet_int_sts_set(uint32_t val)
-{
-	sys_write32(val, INTR_STATUS_REG);
-}
-
 /**
  * @brief Return the value of the Timer Configuration Register
  *
@@ -259,6 +247,20 @@ static __pinned_bss unsigned int cyc_per_tick;
 
 #define HPET_MAX_TICKS ((int32_t)0x7fffffff)
 
+#ifdef HPET_INT_LEVEL_TRIGGER
+/**
+ * @brief Write to General Interrupt Status Register
+ *
+ * This is used to acknowledge and clear interrupt bits.
+ *
+ * @param val Value to be written to the register
+ */
+static inline void hpet_int_sts_set(uint32_t val)
+{
+	sys_write32(val, INTR_STATUS_REG);
+}
+#endif
+
 __isr
 static void hpet_isr(const void *arg)
 {