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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Ddataport_caps.h33 dataport_get_frame_caps_fn get_frame_caps; member in struct:__anon1
56 return d->get_frame_caps();
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SharedDataWithCaps.template.c157 .get_frame_caps = /*? me.interface.name ?*/_get_frame_caps,

Completed in 81 milliseconds