Searched refs:dataport_get_frame_caps (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ | ||
H A D | dataport_caps.h | 54 static inline seL4_CPtr *dataport_get_frame_caps(dataport_caps_handle_t *d) function |
Completed in 72 milliseconds