Searched refs:invalidArgumentNumber (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h32 word_t invalidArgumentNumber; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h173 ret.invalidArgumentNumber = 0;
182 ret.invalidArgumentNumber = 0;
224 ret.invalidArgumentNumber = 3;
230 ret.invalidArgumentNumber = 3;
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c78 current_syscall_error.invalidArgumentNumber = 0;
99 current_syscall_error.invalidArgumentNumber = 1;
107 current_syscall_error.invalidArgumentNumber = 1;
220 current_syscall_error.invalidArgumentNumber = 1;
H A Dtcb.c504 current_syscall_error.invalidArgumentNumber = 1;
511 current_syscall_error.invalidArgumentNumber = 2;
517 current_syscall_error.invalidArgumentNumber = 3;
523 current_syscall_error.invalidArgumentNumber = 4;
530 current_syscall_error.invalidArgumentNumber = 2;
537 current_syscall_error.invalidArgumentNumber = 3;
543 current_syscall_error.invalidArgumentNumber = 2;
550 current_syscall_error.invalidArgumentNumber = 2;
558 current_syscall_error.invalidArgumentNumber = 3;
564 current_syscall_error.invalidArgumentNumber
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c563 current_syscall_error.invalidArgumentNumber = 1;
602 current_syscall_error.invalidArgumentNumber = 1;
665 current_syscall_error.invalidArgumentNumber = 1;
673 current_syscall_error.invalidArgumentNumber = 2;
681 current_syscall_error.invalidArgumentNumber = 3;
690 current_syscall_error.invalidArgumentNumber = 4;
H A Diospace.c367 current_syscall_error.invalidArgumentNumber = 0;
375 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Ddebug.h160 ret.invalidArgumentNumber = 3;
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c282 current_syscall_error.invalidArgumentNumber = 0;
302 current_syscall_error.invalidArgumentNumber = 1;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dioport.c154 current_syscall_error.invalidArgumentNumber = 1;
H A Diospace.c400 current_syscall_error.invalidArgumentNumber = 0;
H A Dvcpu.c598 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1759 current_syscall_error.invalidArgumentNumber = 1;
1880 current_syscall_error.invalidArgumentNumber = 0;
1970 current_syscall_error.invalidArgumentNumber = 0;
2064 current_syscall_error.invalidArgumentNumber = 0;
2170 current_syscall_error.invalidArgumentNumber = 0;
2358 current_syscall_error.invalidArgumentNumber = 1;
2367 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c740 current_syscall_error.invalidArgumentNumber = 0;
855 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2224 current_syscall_error.invalidArgumentNumber = 1;
2373 current_syscall_error.invalidArgumentNumber = 0;
2513 current_syscall_error.invalidArgumentNumber = 0;
2775 current_syscall_error.invalidArgumentNumber = 1;
2787 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1253 current_syscall_error.invalidArgumentNumber = 0;
1420 current_syscall_error.invalidArgumentNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c1033 current_syscall_error.invalidArgumentNumber = 0;
1333 current_syscall_error.invalidArgumentNumber = 0;

Completed in 175 milliseconds