Symbol: xen_broadcast_ipi
sys/arch/amd64/amd64/db_interface.c
154
xen_broadcast_ipi(XEN_IPI_DDB);
sys/arch/i386/i386/db_interface.c
156
xen_broadcast_ipi(XEN_IPI_DDB);
sys/arch/xen/include/intr.h
83
void xen_broadcast_ipi(uint32_t);
sys/arch/xen/x86/cpu.c
1269
xen_broadcast_ipi(XEN_IPI_HALT);
sys/arch/xen/x86/xen_ipi.c
333
xen_broadcast_ipi(XEN_IPI_XCALL);
sys/arch/xen/x86/xen_ipi.c
347
xen_broadcast_ipi(XEN_IPI_GENERIC);