interrupt_ack_fn_t
function is called by an interrupt target
to ack an interrupt. Returns the interrupt vector.
typedef int (*interrupt_ack_fn_t)(conf_object_t *NOTNULL);
Interface for acked interrupts. The target is typically a cpu that later calls the supplied ack function when the interrupt is actually taken.
The ack argument in the lower_interrupt function serves no purpose and should not be used.
To recover the ack function after a checkpoint restoration,
read it from the interrupt_cpu
interface.
SIM_INTERFACE(interrupt_ack) { void (*raise_interrupt)(conf_object_t *NOTNULL obj, interrupt_ack_fn_t cb, conf_object_t *ack_obj); void (*lower_interrupt)(conf_object_t *NOTNULL obj, interrupt_ack_fn_t cb); }; #define INTERRUPT_ACK_INTERFACE "interrupt_ack"