Symbol: xen_cpustop_handler
sys/x86/xen/xen_apic.c
68
static driver_filter_t xen_cpustop_handler;
sys/x86/xen/xen_apic.c
94
[IPI_TO_IDX(IPI_STOP)] = { xen_cpustop_handler, "st" },