Symbol: ddb_ipi
sys/arch/amd64/amd64/db_interface.c
94
extern void ddb_ipi(struct trapframe);
sys/arch/i386/i386/db_interface.c
95
extern void ddb_ipi(struct trapframe);
sys/arch/xen/x86/xen_ipi.c
252
ddb_ipi(intrf->if_tf);
sys/arch/xen/x86/xen_ipi.c
273
ddb_ipi(tf);
sys/arch/xen/x86/xen_ipi.c
64
extern void ddb_ipi(struct trapframe);