cpu_caddr1pte
pte1 = CPU->cpu_caddr1pte;
cpup->cpu_caddr1pte = pte_pa;
hat_mempte_release(cpup->cpu_caddr1, cpup->cpu_caddr1pte);
cpup->cpu_caddr1pte = 0;