Searched refs:CE_MALFORMED_RPC_PAYLOAD (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Derror.c36 case CE_MALFORMED_RPC_PAYLOAD:
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Derror.h47 CE_MALFORMED_RPC_PAYLOAD, enumerator in enum:__anon117
123 struct { /* CE_MALFORMED_RPC_PAYLOAD */
H A Dmarshal_macros.h33 .type = CE_MALFORMED_RPC_PAYLOAD, \
49 .type = CE_MALFORMED_RPC_PAYLOAD, \
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Drpc-connector-common-to.c241 .type = CE_MALFORMED_RPC_PAYLOAD,
/seL4-camkes-master/projects/global-components/templates/
H A DseL4RPCNoThreads-to.template.c266 .type = CE_MALFORMED_RPC_PAYLOAD,

Completed in 50 milliseconds