Searched refs:hat_user_ptable (Results 1 – 3 of 3) sorted by relevance
677 ptable_free(hat->hat_user_ptable); in htable_steal()678 hat->hat_user_ptable = PFN_INVALID; in htable_steal()905 hat->hat_user_ptable = ptable_alloc((uintptr_t)ht + 1); in htable_alloc()906 if (hat->hat_user_ptable != PFN_INVALID) in htable_alloc()913 block_zero_no_xmm(kpm_vbase + pfn_to_pa(hat->hat_user_ptable), in htable_alloc()967 (void) xen_kpm_page(hat->hat_user_ptable, PT_VALID); in htable_alloc()1011 ptable_free(hat->hat_user_ptable); in htable_free()1012 hat->hat_user_ptable = PFN_INVALID; in htable_free()2175 ht->ht_hat->hat_user_ptable), entry)); in x86pte_cas()2395 pfn_to_pa(dest->ht_hat->hat_user_ptable), in x86pte_copy()
107 pfn_t hat_user_ptable; /* alt top ptable for user mode */ member
588 xen_pin(hat->hat_user_ptable, mmu.max_level); in hat_alloc()698 xen_unpin(hat->hat_user_ptable); in hat_free_end()1437 t[1].arg1.mfn = pfn_to_mfn(hat->hat_user_ptable); in hat_switch_xen()