hat_mempte_setup
memscrub_pte = hat_mempte_setup(memscrub_window);
extern hat_mempte_t hat_mempte_setup(caddr_t addr);
pte_pa = hat_mempte_setup(addr);