RMIXL_CPU_CORE
if (sc->sc_core == RMIXL_CPU_CORE((curcpu()->ci_cpuid)))
fmnp[cpu].fmn_core = RMIXL_CPU_CORE(cpu);
KASSERT(fmnp->fmn_core == RMIXL_CPU_CORE(curcpu()->ci_cpuid));