Lines Matching refs:L4
40 for (auto const &m: L4::Kip::Mem_desc::all(__L4_KIP_ADDR__)) in init()
50 case L4::Kip::Mem_desc::Conventional: in init()
53 case L4::Kip::Mem_desc::Reserved: in init()
80 L4::Ipc::Snd_fpage rfp; in map()
81 L4::cap_reinterpret_cast<L4::Pager>(h->memory()) in map()
83 L4::Ipc::Rcv_fpage::mem(0, L4_WHOLE_ADDRESS_SPACE, 0), in map()
93 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in map()
108 L4::Cap<L4Re::Dataspace> ds = L4::cap_cast<L4Re::Dataspace>(h->memory()); in free()
130 Region_map::op_exception(L4::Exception::Rights, l4_exc_regs_t &u, in op_exception()
131 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_exception()
142 Region_map::op_io_page_fault(L4::Io_pager::Rights, in op_io_page_fault()
144 L4::Ipc::Opt<L4::Ipc::Snd_fpage> &) in op_io_page_fault()