cpu_hat_info
ASSERT(CPU->cpu_hat_info->hci_user_l3ptes == NULL);
CPU->cpu_hat_info->hci_user_l3ptes =
(x86pte_t *)hat_kpm_mapin_pfn(CPU->cpu_hat_info->hci_user_l3pfn);
struct hat_cpu_info *hci = cpu->cpu_hat_info;
if ((hci = cpu->cpu_hat_info) == NULL)
l2dst = cpu->cpu_hat_info->hci_pcp_l2ptes;
l3ptes = cpu->cpu_hat_info->hci_pcp_l3ptes;
l3uptes = cpu->cpu_hat_info->hci_user_l3ptes;
l3ptes[0] = MAKEPTP(cpu->cpu_hat_info->hci_pcp_l2pfn, 2);
l3uptes[0] = MAKEPTP(cpu->cpu_hat_info->hci_pcp_l2pfn, 2);
bzero(cpu->cpu_hat_info->hci_pcp_l2ptes, sizeof (x86pte_t) * 4);
bcopy(hat->hat_copied_ptes, cpu->cpu_hat_info->hci_pcp_l3ptes,
bcopy(hat->hat_copied_ptes, cpu->cpu_hat_info->hci_user_l3ptes,
hat_t *cpu_hat = cpu->cpu_hat_info->hci_user_hat;
cpu->cpu_hat_info = hci;
struct hat_cpu_info *hci = cpu->cpu_hat_info;
cpu->cpu_hat_info = NULL;
ASSERT(CPU->cpu_hat_info != NULL);
mutex_enter(&CPU->cpu_hat_info->hci_mutex);
mutex_exit(&CPU->cpu_hat_info->hci_mutex);
ASSERT(CPU->cpu_hat_info != NULL);
mutex_enter(&CPU->cpu_hat_info->hci_mutex);
mutex_exit(&CPU->cpu_hat_info->hci_mutex);