3884 setup_vaddr_for_ppcopy(struct cpu *cpup)  in setup_vaddr_for_ppcopy()  argument
3891 	cpup->cpu_caddr1 = addr;  in setup_vaddr_for_ppcopy()
3892 	cpup->cpu_caddr1pte = pte_pa;  in setup_vaddr_for_ppcopy()
3896 	cpup->cpu_caddr2 = addr;  in setup_vaddr_for_ppcopy()
3897 	cpup->cpu_caddr2pte = pte_pa;  in setup_vaddr_for_ppcopy()
3899 	mutex_init(&cpup->cpu_ppaddr_mutex, NULL, MUTEX_DEFAULT, NULL);  in setup_vaddr_for_ppcopy()
3906 teardown_vaddr_for_ppcopy(struct cpu *cpup)  in teardown_vaddr_for_ppcopy()  argument
3908 	mutex_destroy(&cpup->cpu_ppaddr_mutex);  in teardown_vaddr_for_ppcopy()
3910 	hat_mempte_release(cpup->cpu_caddr2, cpup->cpu_caddr2pte);  in teardown_vaddr_for_ppcopy()
3911 	cpup->cpu_caddr2pte = 0;  in teardown_vaddr_for_ppcopy()
3912 	vmem_free(heap_arena, cpup->cpu_caddr2, mmu_ptob(1));  in teardown_vaddr_for_ppcopy()
3913 	cpup->cpu_caddr2 = 0;  in teardown_vaddr_for_ppcopy()
3915 	hat_mempte_release(cpup->cpu_caddr1, cpup->cpu_caddr1pte);  in teardown_vaddr_for_ppcopy()
3916 	cpup->cpu_caddr1pte = 0;  in teardown_vaddr_for_ppcopy()
3917 	vmem_free(heap_arena, cpup->cpu_caddr1, mmu_ptob(1));  in teardown_vaddr_for_ppcopy()
3918 	cpup->cpu_caddr1 = 0;  in teardown_vaddr_for_ppcopy()