read_c0_pagemask
old_pagemask = read_c0_pagemask();
pagemask = read_c0_pagemask();
pr_info("PageMask : %0x\n", read_c0_pagemask());
s_pagemask = read_c0_pagemask();
old_pagemask = read_c0_pagemask();
mask = read_c0_pagemask();
old_pagemask = read_c0_pagemask();
mask = read_c0_pagemask();
if (read_c0_pagemask() != PM_DEFAULT_MASK)
old_pagemask = read_c0_pagemask();
ctx->cp0_regs[PGMK] = read_c0_pagemask();