Searched refs:pending_event_ipi_isr (Results 1 – 1 of 1) sorted by relevance
969 static void pending_event_ipi_isr(isr_regs_t *regs) in pending_event_ipi_isr() function983 handle_irq(ipi_vector, pending_event_ipi_isr); in pending_event_prepare()1051 handle_irq(0xf1, pending_event_ipi_isr); in pending_event_cli_prepare()