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"