Searched defs:vlpptep (Results 1 – 1 of 1) sorted by relevance
1014 x86pte_t *vlpptep = cpu->cpu_hat_info->hci_vlp_l2ptes; in hat_switch() local 1368 x86pte_t *vlpptep = cpu->cpu_hat_info->hci_vlp_l2ptes; in hati_pte_map() local 1954 x86pte_t *vlpptep = CPU->cpu_hat_info->hci_vlp_l2ptes; in hati_demap_func() local