MIPS_ENTRYHI_ASID
set_cpu_asid_mask(c, MIPS_ENTRYHI_ASID);
asid_mask = MIPS_ENTRYHI_ASID;
asid_mask = MIPS_ENTRYHI_ASID;
uasm_i_andi(&p, GPR_K0, GPR_K0, MIPS_ENTRYHI_ASID);
old_ctx = read_c0_entryhi() & MIPS_ENTRYHI_ASID;