hat_kpm_mapin_pfn
va = hat_kpm_mapin_pfn(pfn);
caddr_t hat_kpm_mapin_pfn(pfn_t);
(x86pte_t *)hat_kpm_mapin_pfn(CPU->cpu_hat_info->hci_user_l3pfn);
(x86pte_t *)hat_kpm_mapin_pfn(hci->hci_user_l3pfn);