sys/platform/pc64/include/pmap.h

108

#define KPML4I (NPML4EPG-NKPML4E) /* Start of KVM */

sys/platform/pc64/include/pmap.h

115

#if NKPML4E + NDMPML4E >= 255

sys/platform/pc64/include/pmap.h

132

#define MPPML4I (KPML4I + NKPML4E - 1)

sys/platform/pc64/include/vmparam.h

116

#define NKPDPE (NKPML4E*NPDPEPG-1)

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

1022

((pdp_entry_t *)KPDPphys)[NKPML4E * NPDPEPG - NKPDPE + i] =

sys/platform/pc64/x86_64/pmap.c

1024

((pdp_entry_t *)KPDPphys)[NKPML4E * NPDPEPG - NKPDPE + i] |=

sys/platform/pc64/x86_64/pmap.c

1033

i = (NKPML4E - 1) * NPDPEPG + KPDPI;

sys/platform/pc64/x86_64/pmap.c

1124

for (j = 0; j < NKPML4E; ++j) {

sys/platform/pc64/x86_64/pmap.c

2399

for (j = 0; j < NKPML4E; ++j) {

sys/platform/pc64/x86_64/pmap.c

2442

for (j = 0; j < NKPML4E; ++j) {

sys/platform/pc64/x86_64/pmap.c

944

KPDPphys = allocpages(firstaddr, NKPML4E); /* kernel PDP pages */

sys/platform/vkernel64/platform/pmap.c

429

KPDPphys = allocpages(firstaddr, NKPML4E);

sys/platform/vkernel64/platform/pmap.c

439

bzero(KPDPvirt, NKPML4E * PAGE_SIZE);