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