Searched refs:get_nth_frame_cap (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Ddataport_caps.h30 dataport_get_nth_frame_cap_fn get_nth_frame_cap; member in struct:__anon1
41 return d->get_nth_frame_cap(n);
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SharedDataWithCaps.template.c154 .get_nth_frame_cap = /*? me.interface.name ?*/_get_nth_frame_cap,

Completed in 34 milliseconds