Searched refs:SET_ERRNO_PTR (Results 26 - 28 of 28) sorted by relevance

12

/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c30 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
39 SET_ERRNO_PTR(rpc_errno, EFILENOTFOUND);
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dserv_common.c41 SET_ERRNO_PTR(_errno, EINVALIDPARAM);
67 SET_ERRNO_PTR(_errno, ESUCCESS);
78 SET_ERRNO_PTR(_errno, error);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dserv_common.c41 SET_ERRNO_PTR(_errno, EINVALIDPARAM);
67 SET_ERRNO_PTR(_errno, ESUCCESS);
78 SET_ERRNO_PTR(_errno, error);

Completed in 35 milliseconds

12