Symbol: XEN_IPI_KPREEMPT
sys/arch/x86/x86/x86_machdep.c
393
xen_send_ipi(ci, XEN_IPI_KPREEMPT);
sys/arch/xen/x86/xen_ipi.c
157
XEN_IPI_HALT | XEN_IPI_AST | XEN_IPI_KPREEMPT;