Symbol: RMIXL_CPU_THREAD
sys/arch/mips/rmi/rmixl_fmn.c
418
fmnp[cpu].fmn_thread = RMIXL_CPU_THREAD(cpu);
sys/arch/mips/rmi/rmixl_fmn.c
488
KASSERT(fmnp->fmn_thread == RMIXL_CPU_THREAD(curcpu()->ci_cpuid));