Searched refs:FFI_SUCCESS (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/cakeml-filter/
H A Dglobal_endpoint.c11 #define FFI_SUCCESS 0 macro
21 a[0] = FFI_SUCCESS;
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/
H A Dvirtqueue.c26 * By convention, the first byte of the array returned will be FFI_SUCCESS (0) if the call
31 #define FFI_SUCCESS 0 macro
54 a[0] = FFI_SUCCESS;
77 a[0] = FFI_SUCCESS;
89 a[0] = FFI_SUCCESS;
100 a[0] = FFI_SUCCESS;
138 a[0] = FFI_SUCCESS;
146 a[0] = FFI_SUCCESS;
154 a[0] = FFI_SUCCESS;
177 a[0] = FFI_SUCCESS;
[all...]
H A Dipc.c17 #define FFI_SUCCESS 0 macro
23 a[0] = FFI_SUCCESS;
35 a[0] = FFI_SUCCESS;
42 a[0] = FFI_SUCCESS;
57 a[0] = FFI_SUCCESS;
81 a[0] = FFI_SUCCESS;
96 a[0] = FFI_SUCCESS;
106 a[0] = FFI_SUCCESS;
/seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/
H A DvirtqueueScript.sml39 (* check if first byte of FFI array is FFI_SUCCESS (0) *)

Completed in 90 milliseconds