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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Ddataport_caps.h37 } dataport_caps_handle_t; typedef in typeref:struct:__anon1
39 static inline seL4_CPtr dataport_get_nth_frame_cap(dataport_caps_handle_t *d, unsigned int n)
44 static inline unsigned int dataport_get_id(dataport_caps_handle_t *d)
49 static inline unsigned int dataport_get_num_frame_caps(dataport_caps_handle_t *d)
54 static inline seL4_CPtr *dataport_get_frame_caps(dataport_caps_handle_t *d)
59 static inline void dataport_free_frame_caps(dataport_caps_handle_t *d, seL4_CPtr *frame_caps)
64 static inline size_t dataport_get_size(dataport_caps_handle_t *d)
69 static inline seL4_CapRights_t dataport_get_rights(dataport_caps_handle_t *d)
/seL4-camkes-master/projects/global-components/templates/
H A DseL4SharedDataWithCaps.template.c153 dataport_caps_handle_t /*? me.interface.name ?*/_handle = {

Completed in 33 milliseconds