secc
/
seL4_projects_libs
mirror of https://github.com/seL4/seL4_projects_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

trivial: Fixup compiler warnings 

- Add missing return statement
- Use correct protobuf stream types.

Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
Kent McLeod 2021-12-08 13:52:39 +11:00 committed by Kent McLeod
parent a6fbc13c79
commit b687e3d503
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
libsel4nanopb/src/common.c
View File

@ -12,14 +12,14 @@
pb_ostream_t pb_ostream_from_IPC(seL4_Word offset) pb_ostream_t pb_ostream_from_IPC(seL4_Word offset)
{ {
char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); pb_byte_t *msg_buffer = (pb_byte_t *) & (seL4_GetIPCBuffer()->msg[offset]);
size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset; size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset;
return pb_ostream_from_buffer(msg_buffer, size); return pb_ostream_from_buffer(msg_buffer, size);
} }
pb_istream_t pb_istream_from_IPC(seL4_Word offset) pb_istream_t pb_istream_from_IPC(seL4_Word offset)
{ {
char *msg_buffer = (char *) & (seL4_GetIPCBuffer()->msg[offset]); pb_byte_t *msg_buffer = (pb_byte_t *) & (seL4_GetIPCBuffer()->msg[offset]);
size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset; size_t size = seL4_MsgMaxLength * sizeof(seL4_Word) - offset;
return pb_istream_from_buffer(msg_buffer, size); return pb_istream_from_buffer(msg_buffer, size);
} }

1
libsel4rpc/src/client.c
View File

@ -19,6 +19,7 @@ int sel4rpc_client_init(sel4rpc_client_t *client, seL4_CPtr server_ep, seL4_Word
{ {
client->server_ep = server_ep; client->server_ep = server_ep;
client->magic = magic; client->magic = magic;
return 0;
} }
int sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root, int sel4rpc_call(sel4rpc_client_t *client, RpcMessage *msg, seL4_CPtr root,