Symbol: dump_switchframe
sys/arch/aarch64/aarch64/db_machdep.c
445
dump_switchframe(pcb->pcb_tf, db_printf);
sys/arch/aarch64/aarch64/db_trace.c
84
dump_switchframe(tf, pr);
sys/arch/aarch64/include/db_machdep.h
239
void dump_switchframe(struct trapframe *, void (*)(const char *, ...) __printflike(1, 2));