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