Searched refs:pm_upml4 (Results 1 – 3 of 3) sorted by relevance
503 kernel_pmap->pm_upml4 = IdlePML4; in pmap_bootstrap()1646 p->pm_upml4 = zalloc(pmap_uanchor_zone); //cleanup for EPT in pmap_create_options()1649 pmap_assert((((uintptr_t)p->pm_upml4) & PAGE_MASK) == 0); in pmap_create_options()1652 memset((char *)p->pm_upml4, 0, PAGE_SIZE); in pmap_create_options()1660 p->pm_ucr3 = (pmap_paddr_t)kvtophys((vm_offset_t)p->pm_upml4); in pmap_create_options()1786 zfree(pmap_uanchor_zone, p->pm_upml4); in pmap_destroy()
588 pml4_entry_t *pm_upml4; /* Shadow VKA of top level */ member
1175 return &pmap->pm_upml4[(vaddr >> PML4SHIFT) & (NPML4PG - 1)]; in pmap64_user_pml4()