Symbol: XEN_IPI_DDB
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/x86/xen_ipi.c
156
XEN_IPI_DDB | XEN_IPI_SYNCH_FPU |