Searched refs:vmx_pending_event_ipi_isr (Results 1 – 1 of 1) sorted by relevance
8477 static void vmx_pending_event_ipi_isr(isr_regs_t *regs) in vmx_pending_event_ipi_isr() function8495 handle_irq(ipi_vector, vmx_pending_event_ipi_isr); in vmx_pending_event_test_core()