Symbol: KPML4I
sys/amd64/amd64/genassym.c
107
ASSYM(val_KPML4I, KPML4I);
sys/amd64/amd64/pmap.c
1919
pdp_p = (pdp_entry_t *)(KPDPphys + ptoa(KPML4I - KPML4BASE));
sys/amd64/include/vmparam.h
221
#define KERNBASE KV4ADDR(KPML4I, KPDPI, 0, 0)