Lines Matching refs:L4Re
15 using L4Re::chksys;
16 using L4Re::chkcap;
21 Dataspace mem = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_ds()
23 L4::Cap<L4Re::Mem_alloc> _ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_ds()
31 L4Re::Util::Env_ns ens; in open_file()
32 return L4Re::chkcap(ens.query<L4Re::Dataspace>(name), name, 0); in open_file()
38 L4Re::Rm::Flags flags, char const *what) in prog_attach_ds()
47 rh_flags |= L4Re::Rm::F::Reserved; in prog_attach_ds()
50 L4Re::chksys(_task->rm()->attach(&_addr, size, rh_flags, in prog_attach_ds()
57 L4Re::Rm::Flags flags, unsigned char align) in prog_reserve_area()
68 L4Re::chksys(dst->copy_in(dst_offs, src.get(), src_offs, size), in copy_ds()
77 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_attach_ds()
83 L4Re::Rm::F::Search_addr | L4Re::Rm::F::R, in local_attach_ds()
92 L4::Cap<L4Re::Rm> rm = L4Re::Env::env()->rm(); in local_detach_ds()
114 L4Re::Util::Ref_cap<L4Re::Dataspace>::Cap stack in alloc_app_stack()
115 = chkcap(L4Re::Util::cap_alloc.alloc<L4Re::Dataspace>(), in alloc_app_stack()
117 L4::Cap<L4Re::Mem_alloc> ma(prog_info()->mem_alloc.raw & L4_FPAGE_ADDR_MASK); in alloc_app_stack()