trivial: Fixup compiler warnings

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

https://docs.sel4.systems

Other

52 stars 62 forks source link

Closed kent-mcleod closed 2 years ago

kent-mcleod commented 2 years ago

Use seL4_Word printf modifier for seL4_CPtr type.
Cast return value to (seL4_Error) as the API defines custom error codes starting after the seL4_Error enum finishes.

Signed-off-by: Kent McLeod kent@kry10.com