write_c0_memorymapid
write_c0_memorymapid(ctx & cpu_asid_mask(&cpu_data[cpu]));
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(~0ul);
write_c0_memorymapid(cpu_asid(0, mm));
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(cpu_asid(0, vma->vm_mm));
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(ctx & cpu_asid_mask(&boot_cpu_data));
write_c0_memorymapid(MMID_KERNEL_WIRED);
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(newpid);
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(cpu_asid(cpu, vma->vm_mm));
write_c0_memorymapid(old_mmid);
write_c0_memorymapid(MMID_KERNEL_WIRED);
write_c0_memorymapid(old_mmid);