Searched refs:L4_WHOLE_ADDRESS_SPACE (Results 1 – 3 of 3) sorted by relevance
| /l4re-core-master/l4sys/include/ |
| A D | __l4_fpage.h | 93 L4_WHOLE_ADDRESS_SPACE = 63 /**< Whole address space size */ enumerator
657 return __l4_fpage_generic(0, L4_FPAGE_SPECIAL, L4_WHOLE_ADDRESS_SPACE, 0); in l4_fpage_all()
|
| /l4re-core-master/l4re_kernel/server/src/ |
| A D | region.cc | 83 L4::Ipc::Rcv_fpage::mem(0, L4_WHOLE_ADDRESS_SPACE, 0), in map()
|
| /l4re-core-master/moe/server/src/ |
| A D | main.cc | 76 _current_kip = l4sigma0_map_kip(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE); in map_kip()
129 while (!l4sigma0_map_anypage(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE, in find_memory()
|
Completed in 5 milliseconds