Symbol: switchtoctx
sys/arch/sparc64/include/cpu.h
335
void switchtoctx(int);
sys/arch/sparc64/sparc64/db_interface.c
1020
switchtoctx(p->p_vmspace->vm_map.pmap->pm_ctx);