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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Derror.c33 error->invalid_index);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h120 uint64_t invalid_index; member in struct:__anon118::__anon119::__anon121
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Drpc-connector-common-to.c226 .invalid_index = * call_ptr,
/seL4-camkes-master/projects/global-components/templates/
H A DseL4RPCNoThreads-to.template.c251 .invalid_index = * call_ptr,

Completed in 95 milliseconds