Searched refs:invalidCapNumber (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h33 word_t invalidCapNumber; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c221 current_syscall_error.invalidCapNumber = 0;
228 current_syscall_error.invalidCapNumber = 0;
236 current_syscall_error.invalidCapNumber = 0;
338 current_syscall_error.invalidCapNumber = 0;
345 current_syscall_error.invalidCapNumber = 0;
356 current_syscall_error.invalidCapNumber = 0;
365 current_syscall_error.invalidCapNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c718 current_syscall_error.invalidCapNumber = 0;
729 current_syscall_error.invalidCapNumber = 1;
756 current_syscall_error.invalidCapNumber = 1;
821 current_syscall_error.invalidCapNumber = 0;
829 current_syscall_error.invalidCapNumber = 1;
847 current_syscall_error.invalidCapNumber = 1;
907 current_syscall_error.invalidCapNumber = 1;
914 current_syscall_error.invalidCapNumber = 0;
932 current_syscall_error.invalidCapNumber = 1;
956 current_syscall_error.invalidCapNumber
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c322 current_syscall_error.invalidCapNumber = 0;
337 current_syscall_error.invalidCapNumber = 1;
355 current_syscall_error.invalidCapNumber = 1;
533 current_syscall_error.invalidCapNumber = 0;
545 current_syscall_error.invalidCapNumber = 1;
565 current_syscall_error.invalidCapNumber = 1;
726 current_syscall_error.invalidCapNumber = 0;
739 current_syscall_error.invalidCapNumber = 1;
757 current_syscall_error.invalidCapNumber = 1;
851 current_syscall_error.invalidCapNumber
[all...]
H A Dvspace.c991 current_syscall_error.invalidCapNumber = 0;
1001 current_syscall_error.invalidCapNumber = 1;
1021 current_syscall_error.invalidCapNumber = 1;
1120 current_syscall_error.invalidCapNumber = 1;
1130 current_syscall_error.invalidCapNumber = 0;
1153 current_syscall_error.invalidCapNumber = 1;
1311 current_syscall_error.invalidCapNumber = 0;
1322 current_syscall_error.invalidCapNumber = 1;
1351 current_syscall_error.invalidCapNumber = 1;
1449 current_syscall_error.invalidCapNumber
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c196 current_syscall_error.invalidCapNumber = 0;
203 current_syscall_error.invalidCapNumber = 1;
285 current_syscall_error.invalidCapNumber = 0;
292 current_syscall_error.invalidCapNumber = 0;
303 current_syscall_error.invalidCapNumber = 1;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1772 current_syscall_error.invalidCapNumber = 0;
1791 current_syscall_error.invalidCapNumber = 0;
1862 current_syscall_error.invalidCapNumber = 0;
1871 current_syscall_error.invalidCapNumber = 1;
1893 current_syscall_error.invalidCapNumber = 1;
1952 current_syscall_error.invalidCapNumber = 0;
1961 current_syscall_error.invalidCapNumber = 1;
1983 current_syscall_error.invalidCapNumber = 1;
2046 current_syscall_error.invalidCapNumber = 0;
2055 current_syscall_error.invalidCapNumber
[all...]
/seL4-l4v-10.1.1/seL4/src/object/
H A Dobjecttype.c532 current_syscall_error.invalidCapNumber = 0;
538 current_syscall_error.invalidCapNumber = 0;
546 current_syscall_error.invalidCapNumber = 0;
561 current_syscall_error.invalidCapNumber = 0;
576 current_syscall_error.invalidCapNumber = 0;
H A Dinterrupt.c123 current_syscall_error.invalidCapNumber = 0;
H A Dtcb.c820 current_syscall_error.invalidCapNumber = 1;
1037 current_syscall_error.invalidCapNumber = 1;
1074 current_syscall_error.invalidCapNumber = 1;
1112 current_syscall_error.invalidCapNumber = 1;
1667 current_syscall_error.invalidCapNumber);
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/
H A Dobjecttype.c219 current_syscall_error.invalidCapNumber = 0;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2239 current_syscall_error.invalidCapNumber = 0;
2259 current_syscall_error.invalidCapNumber = 0;
2347 current_syscall_error.invalidCapNumber = 0;
2362 current_syscall_error.invalidCapNumber = 1;
2394 current_syscall_error.invalidCapNumber = 1;
2465 current_syscall_error.invalidCapNumber = 0;
2475 current_syscall_error.invalidCapNumber = 1;
2501 current_syscall_error.invalidCapNumber = 1;
2609 current_syscall_error.invalidCapNumber = 1;
2618 current_syscall_error.invalidCapNumber
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1231 current_syscall_error.invalidCapNumber = 0;
1242 current_syscall_error.invalidCapNumber = 1;
1270 current_syscall_error.invalidCapNumber = 1;
1398 current_syscall_error.invalidCapNumber = 0;
1409 current_syscall_error.invalidCapNumber = 1;
1437 current_syscall_error.invalidCapNumber = 1;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/
H A Dobjecttype.c348 current_syscall_error.invalidCapNumber = 0;

Completed in 103 milliseconds