write_mmu_entryhi
write_mmu_entryhi(asid);
write_mmu_entryhi(oldpid);
write_mmu_entryhi(oldpid);
write_mmu_entryhi(oldpid);
write_mmu_entryhi(start | oldpid);
write_mmu_entryhi(addr | newpid);
write_mmu_entryhi(addr | oldpid);
write_mmu_entryhi(oldpid + 1); \
write_mmu_entryhi(oldpid); \
write_mmu_entryhi(start | newpid);