Symbol: XEN_IPI_HALT
sys/arch/xen/x86/cpu.c
1269
xen_broadcast_ipi(XEN_IPI_HALT);
sys/arch/xen/x86/xen_ipi.c
157
XEN_IPI_HALT | XEN_IPI_AST | XEN_IPI_KPREEMPT;