read_c0_entryhi_64
vmbits = fls64(read_c0_entryhi_64() & 0x3fffffffffffe000ULL);
return cpu_has_64bits ? read_c0_entryhi_64() : read_c0_entryhi();