Lines Matching refs:L4Re
36 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map()
37 return x->map(offset, L4Re::Dataspace::Flags(flags), local_addr, min_addr, max_addr); in l4re_ds_map()
46 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map_region()
47 return x->map_region(offset, L4Re::Dataspace::Flags(flags), min_addr, max_addr); in l4re_ds_map_region()
53 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_clear()
61 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_allocate()
70 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_copy_in()
71 auto srcds = L4::Ipc::Cap<L4Re::Dataspace>::from_ci(src); in l4re_ds_copy_in()
78 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_size()
85 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_info()
86 return x->info((L4Re::Dataspace::Stats *)stats); in l4re_ds_info()
92 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_flags()