read_c0_ebase
uint32_t __maybe_unused ebase = read_c0_ebase() & 0x3ffff000;
return read_c0_ebase() & MIPS_EBASE_CPUNUM;
: (s32)read_c0_ebase();
if (read_c0_ebase() & MIPS_EBASE_WG) {
ctx->cp0_regs[EBASE] = read_c0_ebase();