From ff8c538b93f296463045218954db3fdfdb260b7f Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Wed, 18 Dec 2024 16:38:59 +0100 Subject: [PATCH] missing header --- include/libafl/interrupt_injection.h | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 include/libafl/interrupt_injection.h 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