Symbol: switchtoctx_usiii
sys/arch/sparc64/include/cpu.h
442
void switchtoctx_usiii(int);
sys/arch/sparc64/sparc64/db_interface.c
815
switchtoctx_usiii(ctx);