lib/libkvm/kvm_x86_64.c

156

pml4_entry_t *PML4;

lib/libkvm/kvm_x86_64.c

230

pml4_entry_t pml4e;

lib/libkvm/kvm_x86_64.c

72

pml4_entry_t *PML4;

sys/platform/pc64/include/pmap.h

178

#define addr_PML4pml4e (addr_PML4map + (PML4PML4I * sizeof(pml4_entry_t)))

sys/platform/pc64/include/pmap.h

268

pml4_entry_t *pm_pml4; /* KVA of level 4 page table */

sys/platform/pc64/include/pmap.h

269

pml4_entry_t *pm_pml4_iso; /* (isolated version) */

sys/platform/pc64/x86_64/pmap.c

2302

pmap->pm_pml4 = (pml4_entry_t *)(PTOV_OFFSET + KPML4phys);

sys/platform/pc64/x86_64/pmap.c

2370

(pml4_entry_t *)kmem_alloc_pageable(kernel_map,

sys/platform/pc64/x86_64/pmap.c

3145

pml4_entry_t *pdp;

sys/platform/pc64/x86_64/pmap.c

3146

pml4_entry_t *pdp_iso;

sys/platform/pc64/x86_64/pmap.c

678

pml4_entry_t *

sys/platform/pc64/x86_64/pmap.c

689

pmap_pdp_to_pd(pml4_entry_t pdp_pte, vm_offset_t va)

sys/platform/pc64/x86_64/pmap.c

704

pml4_entry_t *pdp;

sys/platform/vkernel64/include/pmap.h

152

pml4_entry_t *pm_pml4; /* KVA of level 4 page table */

sys/platform/vkernel64/platform/pmap.c

1052

pml4_entry_t *pml4;

sys/platform/vkernel64/platform/pmap.c

1173

pmap->pm_pml4 = (pml4_entry_t *)

sys/platform/vkernel64/platform/pmap.c

1288

pml4_entry_t *pml4;

sys/platform/vkernel64/platform/pmap.c

1294

pml4 = (pml4_entry_t *)PHYS_TO_DMAP(VM_PAGE_TO_PHYS(m4));

sys/platform/vkernel64/platform/pmap.c

1929

pml4_entry_t *pml4e;

sys/platform/vkernel64/platform/pmap.c

2193

pml4_entry_t *pml4e;

sys/platform/vkernel64/platform/pmap.c

231

static __inline pml4_entry_t *

sys/platform/vkernel64/platform/pmap.c

239

pmap_pml4e_to_pdpe(pml4_entry_t *pml4e, vm_offset_t va)

sys/platform/vkernel64/platform/pmap.c

251

pml4_entry_t *pml4e;

sys/platform/vkernel64/platform/pmap.c

3331

pml4_entry_t *pml4e;

sys/platform/vkernel64/platform/pmap.c

409

pml4_entry_t *KPML4virt;

sys/platform/vkernel64/platform/pmap.c

433

KPML4virt = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys);

sys/platform/vkernel64/platform/pmap.c

511

kernel_pmap->pm_pml4 = (pml4_entry_t *)PHYS_TO_DMAP(KPML4phys);