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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h26 seL4_NumErrors enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserial_server.h46 SERIAL_SERVER_ERROR_SHMEM_TOO_LARGE = seL4_NumErrors,

Completed in 79 milliseconds