Home
last modified time | relevance | path

Searched defs:Snd_fpage (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/l4re_kernel/server/src/
A Dregion.cc131 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception()
144 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_io_page_fault()
/l4re-core-master/moe/server/src/
A Dlog.h44 L4::Ipc::Snd_fpage) in op_bind()
48 L4::Ipc::Snd_fpage) in op_unbind()
A Dregion.cc103 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_io_page_fault()
/l4re-core-master/libc_backends/lib/sig/lib/
A Dsig.cc197 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception()

Completed in 5 milliseconds