Symbol: xen_ipi_bitmap_handler
sys/x86/xen/xen_apic.c
67
static driver_filter_t xen_ipi_bitmap_handler;
sys/x86/xen/xen_apic.c
93
[IPI_TO_IDX(IPI_BITMAP_VECTOR)] = { xen_ipi_bitmap_handler, "b" },