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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4nanopb/src/
H A Dcommon.c15 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); local
17 return pb_ostream_from_buffer(msg_buffer, size);
22 char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); local
24 return pb_istream_from_buffer(msg_buffer, size);

Completed in 25 milliseconds