Symbol: L4_BASE
sys/arch/amd64/include/pmap.h
173
#define PDP_PDE (L4_BASE + PDIR_SLOT_PTE)
sys/arch/amd64/include/pmap.h
175
#define PDP_BASE L4_BASE
sys/arch/amd64/include/pmap.h
230
#define PDES_INITIALIZER { L2_BASE, L3_BASE, L4_BASE }