Symbol: DMPML4I
sys/platform/pc64/include/vmparam.h
122
#define DMAP_MIN_ADDRESS KVADDR(DMPML4I, 0, 0, 0)
sys/platform/pc64/include/vmparam.h
123
#define DMAP_MAX_ADDRESS KVADDR(DMPML4I+NDMPML4E, 0, 0, 0)
sys/platform/pc64/x86_64/pmap.c
1114
((pdp_entry_t *)KPML4phys)[DMPML4I + j] =
sys/platform/pc64/x86_64/pmap.c
2393
pmap->pm_pml4[DMPML4I + j] =