Symbol: KPDPI
sys/amd64/amd64/genassym.c
106
ASSYM(val_KPDPI, KPDPI);
sys/amd64/amd64/pmap.c
1921
pdp_p[i + KPDPI] = (KPDphys + ptoa(i)) | X86_PG_RW | X86_PG_V;
sys/amd64/include/vmparam.h
221
#define KERNBASE KV4ADDR(KPML4I, KPDPI, 0, 0)