diff --git a/include/libafl/interrupt_injection.h b/include/libafl/interrupt_injection.h
new file mode 100644
index 0000000000..9a00f09c65
--- /dev/null
+++ b/include/libafl/interrupt_injection.h
@@ -0,0 +1,9 @@
+#define LIBAFL_MAX_INTERRUPT_SOURCES 6
+#define LIBAFL_MAX_INTERRUPTS 128
+
+extern volatile uint32_t libafl_interrupt_offsets[LIBAFL_MAX_INTERRUPT_SOURCES][LIBAFL_MAX_INTERRUPTS];
+extern volatile uint64_t libafl_num_interrupts[LIBAFL_MAX_INTERRUPT_SOURCES];
+
+static void libafl_timed_int_hook(void*);
+void libafl_start_int_timer( void );
+void libafl_send_irq(int irqn);
\ No newline at end of file