MIPS_EBASE_CPUNUM
KASSERT((mipsNN_cp0_ebase_read() & MIPS_EBASE_CPUNUM) == ci->ci_cpuid);
start = (uint32_t *)(intptr_t)(ebase & ~MIPS_EBASE_CPUNUM);
const int cpunum = ebase & MIPS_EBASE_CPUNUM;
memcpy((void *)(intptr_t)(ebase & ~MIPS_EBASE_CPUNUM), mips64r2_tlb_miss,
KASSERT((ebase & MIPS_EBASE_CPUNUM) == ci->ci_cpuid);