Symbol: hat_mempte_release
usr/src/uts/i86pc/vm/hat_i86.h
212
extern void hat_mempte_release(caddr_t addr, hat_mempte_t);
usr/src/uts/i86pc/vm/vm_machdep.c
4001
hat_mempte_release(cpup->cpu_caddr2, cpup->cpu_caddr2pte);
usr/src/uts/i86pc/vm/vm_machdep.c
4006
hat_mempte_release(cpup->cpu_caddr1, cpup->cpu_caddr1pte);