Searched refs:failedLookupWasSource (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h37 bool_t failedLookupWasSource; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c83 current_syscall_error.failedLookupWasSource = isSource;
99 current_syscall_error.failedLookupWasSource = isSource;
107 current_syscall_error.failedLookupWasSource = isSource;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c138 current_syscall_error.failedLookupWasSource = false;
169 current_syscall_error.failedLookupWasSource = false;
348 current_syscall_error.failedLookupWasSource = false;
557 current_syscall_error.failedLookupWasSource = false;
573 current_syscall_error.failedLookupWasSource = false;
750 current_syscall_error.failedLookupWasSource = false;
765 current_syscall_error.failedLookupWasSource = false;
873 current_syscall_error.failedLookupWasSource = false;
909 current_syscall_error.failedLookupWasSource = false;
941 current_syscall_error.failedLookupWasSource
[all...]
H A Dvspace.c900 current_syscall_error.failedLookupWasSource = false;
929 current_syscall_error.failedLookupWasSource = false;
1014 current_syscall_error.failedLookupWasSource = false;
1145 current_syscall_error.failedLookupWasSource = false;
1344 current_syscall_error.failedLookupWasSource = false;
1360 current_syscall_error.failedLookupWasSource = false;
1509 current_syscall_error.failedLookupWasSource = false;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c271 current_syscall_error.failedLookupWasSource = false;
374 current_syscall_error.failedLookupWasSource = false;
382 current_syscall_error.failedLookupWasSource = false;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c749 current_syscall_error.failedLookupWasSource = false;
840 current_syscall_error.failedLookupWasSource = false;
868 current_syscall_error.failedLookupWasSource = false;
923 current_syscall_error.failedLookupWasSource = false;
949 current_syscall_error.failedLookupWasSource = false;
1109 current_syscall_error.failedLookupWasSource = false;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1784 current_syscall_error.failedLookupWasSource = false;
1887 current_syscall_error.failedLookupWasSource = false;
1977 current_syscall_error.failedLookupWasSource = false;
1991 current_syscall_error.failedLookupWasSource = false;
2071 current_syscall_error.failedLookupWasSource = false;
2085 current_syscall_error.failedLookupWasSource = false;
2153 current_syscall_error.failedLookupWasSource = false;
2184 current_syscall_error.failedLookupWasSource = false;
2202 current_syscall_error.failedLookupWasSource = false;
2221 current_syscall_error.failedLookupWasSource
[all...]
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c128 current_syscall_error.failedLookupWasSource = 0;
H A Dcnode.c108 current_syscall_error.failedLookupWasSource = 1;
277 current_syscall_error.failedLookupWasSource = 1;
284 current_syscall_error.failedLookupWasSource = 0;
H A Dtcb.c1683 current_syscall_error.failedLookupWasSource ? 1 : 0);
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1708 current_syscall_error.failedLookupWasSource =
1748 current_syscall_error.failedLookupWasSource =
2252 current_syscall_error.failedLookupWasSource = false;
2385 current_syscall_error.failedLookupWasSource = false;
2491 current_syscall_error.failedLookupWasSource =
2636 current_syscall_error.failedLookupWasSource = false;
2764 current_syscall_error.failedLookupWasSource = false;
2955 current_syscall_error.failedLookupWasSource = false;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1263 current_syscall_error.failedLookupWasSource = false;
1278 current_syscall_error.failedLookupWasSource = false;
1430 current_syscall_error.failedLookupWasSource = false;
1553 current_syscall_error.failedLookupWasSource = false;
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c316 current_syscall_error.failedLookupWasSource = false;

Completed in 90 milliseconds