Symbol: KPDPI
sys/platform/pc64/include/pmap.h
133
#define MPPDPI KPDPI
sys/platform/pc64/include/vmparam.h
125
#define KERNBASE KVADDR(KPML4I + NKPML4E - 1, KPDPI, 0, 0)
sys/platform/pc64/x86_64/pmap.c
1033
i = (NKPML4E - 1) * NPDPEPG + KPDPI;
sys/platform/pc64/x86_64/pmap.c
1034
for (j = 0; j < NPDPEPG - KPDPI; ++j) {
sys/platform/pc64/x86_64/pmap.c
904
nkpt_base = (NPDPEPG - KPDPI) * NPTEPG; /* typically 2 x 512 */
sys/platform/pc64/x86_64/pmap.c
950
kpd_base = allocpages(firstaddr, NPDPEPG - KPDPI);