sys/platform/pc64/include/pmap.h

109

#define DMPML4I (KPML4I-NDMPML4E) /* Next N*512GB down for DMAP */

sys/platform/pc64/include/pmap.h

132

#define MPPML4I (KPML4I + NKPML4E - 1)

sys/platform/pc64/include/vmparam.h

117

#define KPDPPHYS_KVA KVADDR(KPML4I, 0, 0, 0)

sys/platform/pc64/include/vmparam.h

118

#define VM_MIN_KERNEL_ADDRESS KVADDR(KPML4I, NKPML4E*NPDPEPG - NKPDPE, 0, 0)

sys/platform/pc64/include/vmparam.h

119

#define VM_MAX_KERNEL_ADDRESS KVADDR(KPML4I + NKPML4E - 1, \

sys/platform/pc64/include/vmparam.h

125

#define KERNBASE KVADDR(KPML4I + NKPML4E - 1, KPDPI, 0, 0)

sys/platform/pc64/x86_64/pmap.c

1125

((pdp_entry_t *)KPML4phys)[KPML4I + j] =

sys/platform/pc64/x86_64/pmap.c

1127

((pdp_entry_t *)KPML4phys)[KPML4I + j] |=

sys/platform/pc64/x86_64/pmap.c

2400

pmap->pm_pml4[KPML4I + j] =

sys/platform/pc64/x86_64/pmap.c

2443

pmap->pm_pml4_iso[KPML4I + j] =

sys/platform/pc64/x86_64/pmap.c

2444

iso_pmap.pm_pml4[KPML4I + j];