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

/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c225 uint64_t rsp_len; member in struct:rsp_hdr
586 framelen = spc->spc_hdr.rsp_len;
603 framelen = spc->spc_hdr.rsp_len;
1104 rhdr.rsp_len = sizeof(rhdr);
1124 rhdr.rsp_len = sizeof(rhdr) + sizeof(error);
1149 rhdr.rsp_len = sizeof(rhdr) + sizeof(sysresp);
1175 rhdr.rsp_len = sizeof(rhdr) + AUTHLEN*sizeof(*auth);
1203 rhdr.rsp_len = sizeof(rhdr) + sizeof(copydata);
1247 rhdr.rsp_len = sizeof(rhdr) + sizeof(copydata) + dlen;
1277 rhdr.rsp_len
[all...]

Completed in 26 milliseconds