Symbol: switchtoctx_us
sys/arch/sparc64/include/cpu.h
441
void switchtoctx_us(int);
sys/arch/sparc64/sparc64/db_interface.c
817
switchtoctx_us(ctx);