Searched defs:L4_SLOT_PTE (Results 1 – 2 of 2) sorted by relevance
35 #define L4_SLOT_PTE 509 macro
102 #define L4_SLOT_PTE slotspace.area[SLAREA_PTE].sslot macro104 #define L4_SLOT_PTE 509 macro