Searched refs:snd_cap (Results 1 – 5 of 5) sorted by relevance
| /l4re-core-master/l4re/util/libs/ |
| A D | name_space_svr.cc | 90 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode> &dummy, in op_query() argument
145 snd_cap = L4::Ipc::Snd_fpage(n->obj()->cap(), flags); in op_query()
|
| /l4re-core-master/moe/server/src/ |
| A D | name_space.cc | 231 L4::Ipc::Snd_fpage &snd_cap, in op_query() argument
281 snd_cap = L4::Ipc::Snd_fpage(n->cap(), flags); in op_query()
|
| A D | name_space.h | 176 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode> &,
|
| /l4re-core-master/l4re/include/ |
| A D | namespace | 103 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode &> dummy,
|
| /l4re-core-master/l4re/util/include/ |
| A D | name_space_svr | 303 L4::Ipc::Snd_fpage &snd_cap, L4::Ipc::Opt<L4::Opcode> &,
|
Completed in 7 milliseconds