read_c0_memorymapid
old_mmid = read_c0_memorymapid();
asid_mask = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();
mmid = read_c0_memorymapid();
asid = s_mmid = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();
old_mmid = read_c0_memorymapid();