Searched refs:pm_pml4 (Results 1 – 5 of 5) sorted by relevance
502 kernel_pmap->pm_pml4 = IdlePML4; in pmap_bootstrap()1676 p->pm_pml4 = zalloc(pmap_anchor_zone); in pmap_create_options()1679 pmap_assert((((uintptr_t)p->pm_pml4) & PAGE_MASK) == 0); in pmap_create_options()1682 memset((char *)p->pm_pml4, 0, PAGE_SIZE); in pmap_create_options()1686 p->pm_eptp = (pmap_paddr_t)kvtophys((vm_offset_t)p->pm_pml4) | pmap_eptp_flags; in pmap_create_options()1690 p->pm_cr3 = (pmap_paddr_t)kvtophys((vm_offset_t)p->pm_pml4); in pmap_create_options()1714 kpml4 = kernel_pmap->pm_pml4; in pmap_create_options()1816 zfree(pmap_anchor_zone, p->pm_pml4); in pmap_destroy()
332 if (pml4[KERNEL_PML4_INDEX] != kernel_pmap->pm_pml4[KERNEL_PML4_INDEX]) { in pmap_pcid_activate()
448 kdp_jtag_coredump.kernel_pmap_pml4 = (uint64_t) kernel_pmap->pm_pml4; in kdp_jtag_coredump_init()
587 pml4_entry_t *pm_pml4; /* VKA of top level */ member
1160 return &pmap->pm_pml4[(vaddr >> PML4SHIFT) & (NPML4PG - 1)]; in pmap64_pml4()