Symbol: db_mach_addr_cpuswitch
sys/arch/mips/include/pcb.h
82
vaddr_t db_mach_addr_cpuswitch(void);
sys/arch/mips/mips/db_trace.c
213
pc = db_mach_addr_cpuswitch();