Symbol: cp0_set_userlocal
sys/arch/mips64/include/tcb.h
31
cp0_set_userlocal(tcb);
sys/arch/octeon/octeon/machdep.c
785
cp0_set_userlocal(NULL);