Symbol: xen_ipi_swi_handler
sys/x86/xen/xen_apic.c
70
static driver_filter_t xen_ipi_swi_handler;
sys/x86/xen/xen_apic.c
96
[IPI_TO_IDX(IPI_SWI)] = { xen_ipi_swi_handler, "sw" },