Symbol: L4_SLOT_PTE
sys/arch/amd64/include/pmap_private.h
102
#define L4_SLOT_PTE slotspace.area[SLAREA_PTE].sslot
sys/arch/amd64/include/pmap_private.h
104
#define L4_SLOT_PTE 509
sys/arch/amd64/stand/prekern/pdir.h
35
#define L4_SLOT_PTE 509