PM_DEFAULT_MASK
write_c0_pagemask(PM_DEFAULT_MASK);
write_c0_pagemask(PM_DEFAULT_MASK);
write_c0_pagemask(PM_DEFAULT_MASK);
write_c0_pagemask(PM_DEFAULT_MASK);
write_c0_pagemask(PM_DEFAULT_MASK);
if (read_c0_pagemask() != PM_DEFAULT_MASK)
if (PM_DEFAULT_MASK >> 16) {
uasm_i_lui(&p, GPR_K0, PM_DEFAULT_MASK >> 16);
uasm_i_ori(&p, GPR_K0, GPR_K0, PM_DEFAULT_MASK & 0xffff);
} else if (PM_DEFAULT_MASK) {
uasm_i_ori(&p, GPR_K0, 0, PM_DEFAULT_MASK);
if (PM_DEFAULT_MASK == 0)
if (PM_DEFAULT_MASK >> 16) {
uasm_i_lui(p, tmp, PM_DEFAULT_MASK >> 16);
uasm_i_ori(p, tmp, tmp, PM_DEFAULT_MASK & 0xffff);
} else if (PM_DEFAULT_MASK) {
uasm_i_ori(p, tmp, 0, PM_DEFAULT_MASK);
if (PM_DEFAULT_MASK >> 16) {
uasm_i_lui(p, tmp, PM_DEFAULT_MASK >> 16);
uasm_i_ori(p, tmp, tmp, PM_DEFAULT_MASK & 0xffff);
} else if (PM_DEFAULT_MASK) {
uasm_i_ori(p, tmp, 0, PM_DEFAULT_MASK);