Searched refs:syscall_error_t (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/
H A Dinlines.c16 syscall_error_t current_syscall_error;
/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h41 typedef struct syscall_error syscall_error_t; typedef in typeref:struct:syscall_error
45 extern syscall_error_t current_syscall_error;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Ddebug.h128 static inline syscall_error_t
134 syscall_error_t ret;
142 static inline syscall_error_t
147 syscall_error_t ret = {
167 static inline syscall_error_t
170 syscall_error_t ret = {
183 static inline syscall_error_t
186 syscall_error_t ret = {
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h138 static inline syscall_error_t
145 syscall_error_t ret = {
192 static inline syscall_error_t
197 syscall_error_t ret = {
237 static inline syscall_error_t
240 syscall_error_t ret = {
252 static inline syscall_error_t
255 syscall_error_t ret = {
/seL4-l4v-10.1.1/seL4/src/api/
H A Dfaults.c169 syscall_error_t res;
/seL4-l4v-10.1.1/seL4/src/object/
H A Dtcb.c454 syscall_error_t syserr;
487 syscall_error_t error;
618 syscall_error_t error;
647 syscall_error_t error;

Completed in 69 milliseconds