sys/platform/pc64/include/pmap.h

174

#define addr_PTmap (KVADDR(PML4PML4I, 0, 0, 0))

sys/platform/pc64/include/pmap.h

175

#define addr_PDmap (KVADDR(PML4PML4I, PML4PML4I, 0, 0))

sys/platform/pc64/include/pmap.h

176

#define addr_PDPmap (KVADDR(PML4PML4I, PML4PML4I, PML4PML4I, 0))

sys/platform/pc64/include/pmap.h

177

#define addr_PML4map (KVADDR(PML4PML4I, PML4PML4I, PML4PML4I, PML4PML4I))

sys/platform/pc64/include/pmap.h

178

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

sys/platform/pc64/include/vmparam.h

128

#define UPT_MAX_ADDRESS KVADDR(PML4PML4I, PML4PML4I, PML4PML4I, PML4PML4I)

sys/platform/pc64/include/vmparam.h

129

#define UPT_MIN_ADDRESS KVADDR(PML4PML4I, 0, 0, 0)

sys/platform/pc64/x86_64/pmap.c

1104

((pdp_entry_t *)KPML4phys)[PML4PML4I] = KPML4phys;

sys/platform/pc64/x86_64/pmap.c

1105

((pdp_entry_t *)KPML4phys)[PML4PML4I] |=

sys/platform/pc64/x86_64/pmap.c

2410

pmap->pm_pml4[PML4PML4I] = VM_PAGE_TO_PHYS(pv->pv_m) |

sys/platform/vkernel64/platform/pmap.c

456

KPML4virt[PML4PML4I] = KPML4phys;

sys/platform/vkernel64/platform/pmap.c

457

KPML4virt[PML4PML4I] |= VPTE_RW | VPTE_V | VPTE_U;