Searched refs:dataport_wrap_ptr (Results 1 - 9 of 9) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/testdataportptrwrap/
H A Dclient.c19 dataport_ptr_t ptr = dataport_wrap_ptr((void*)x);
H A Dintermediary.c19 dataport_ptr_t ptr2 = dataport_wrap_ptr((void*)y);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Ddataport.h52 dataport_ptr_t dataport_wrap_ptr(void *ptr);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/client_include/
H A Dpicoserver_event.h23 dataport_ptr_t wrapped_ptr = dataport_wrap_ptr(buf); \
/seL4-camkes-master/projects/camkes/apps/adder/components/Adder/src/
H A Dadder.c22 return dataport_wrap_ptr((void*)p2);
/seL4-camkes-master/projects/camkes/apps/adder/components/Client/src/
H A Dclient.c32 dataport_ptr_t ptr = a_calculate(dataport_wrap_ptr((void*)p));
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/include/
H A Dpicotcp-ethernet-async.h19 dataport_ptr_t wrapped_ptr = dataport_wrap_ptr(buf); \
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dclient.c119 dataport_ptr_t wrapped_ptr = dataport_wrap_ptr(buf);
240 dataport_ptr_t wrapped_ptr = dataport_wrap_ptr(buf);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c888 dataport_ptr_t dataport_wrap_ptr(void *ptr UNUSED) { function

Completed in 157 milliseconds