Searched refs:__sel4_error (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | strerror.h | 14 #define sel4_error(e, str) ((e == seL4_NoError) ? (void)0 : __sel4_error(e, __FILE__, __func__, __LINE__, str))
16 void __sel4_error(int, const char *, const char *, int, char *);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | strerror.c | 62 __sel4_error(int sel4_error, const char *file, function
|
Completed in 29 milliseconds