Lines Matching refs:ds
29 l4re_ds_map(l4re_ds_t ds, in l4re_ds_map() argument
36 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map()
41 l4re_ds_map_region(l4re_ds_t ds, l4re_ds_offset_t offset, in l4re_ds_map_region() argument
46 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_map_region()
51 l4re_ds_clear(l4re_ds_t ds, l4re_ds_offset_t offset, l4re_ds_size_t size) L4_NOTHROW in l4re_ds_clear() argument
53 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_clear()
58 l4re_ds_allocate(l4re_ds_t ds, in l4re_ds_allocate() argument
61 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_allocate()
66 l4re_ds_copy_in(l4re_ds_t ds, l4re_ds_offset_t dst_offs, in l4re_ds_copy_in() argument
70 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_copy_in()
76 l4re_ds_size(l4re_ds_t ds) L4_NOTHROW in l4re_ds_size() argument
78 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_size()
83 l4re_ds_info(l4re_ds_t ds, l4re_ds_stats_t *stats) L4_NOTHROW in l4re_ds_info() argument
85 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_info()
90 l4re_ds_flags(l4re_ds_t ds) L4_NOTHROW in l4re_ds_flags() argument
92 L4::Cap<L4Re::Dataspace> x(ds); in l4re_ds_flags()