Searched refs:seL4_DeleteFirst (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-master/seL4/libsel4/include/sel4/
H A Derrors.h18 seL4_DeleteFirst, enumerator in enum:__anon179
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dept.c346 current_syscall_error.type = seL4_DeleteFirst;
556 current_syscall_error.type = seL4_DeleteFirst;
747 current_syscall_error.type = seL4_DeleteFirst;
886 current_syscall_error.type = seL4_DeleteFirst;
920 current_syscall_error.type = seL4_DeleteFirst;
927 current_syscall_error.type = seL4_DeleteFirst;
933 current_syscall_error.type = seL4_DeleteFirst;
H A Dvspace.c912 current_syscall_error.type = seL4_DeleteFirst;
1231 current_syscall_error.type = seL4_DeleteFirst;
1301 current_syscall_error.type = seL4_DeleteFirst;
1390 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Diospace.c266 current_syscall_error.type = seL4_DeleteFirst;
374 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Diospace.c208 current_syscall_error.type = seL4_DeleteFirst;
309 current_syscall_error.type = seL4_DeleteFirst;
H A Dvcpu.c453 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/l4v/camkes/glue-proofs/
H A DEventFrom.c531 seL4_DeleteFirst enumerator in enum:__anon54
H A DEventTo.c431 seL4_DeleteFirst enumerator in enum:__anon66
H A DRPCTo.c531 seL4_DeleteFirst enumerator in enum:__anon96
H A DRPCFrom.c532 seL4_DeleteFirst enumerator in enum:__anon81
/seL4-l4v-master/seL4/src/arch/riscv/kernel/
H A Dvspace.c766 current_syscall_error.type = seL4_DeleteFirst;
882 current_syscall_error.type = seL4_DeleteFirst;
889 current_syscall_error.type = seL4_DeleteFirst;
976 current_syscall_error.type = seL4_DeleteFirst;
1064 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c1653 seL4_DeleteFirst;
1694 seL4_DeleteFirst;
1744 seL4_DeleteFirst;
1775 seL4_DeleteFirst;
2253 current_syscall_error.type = seL4_DeleteFirst;
2397 if (current_syscall_error.type == seL4_DeleteFirst) {
2415 if (current_syscall_error.type == seL4_DeleteFirst) {
2602 current_syscall_error.type = seL4_DeleteFirst;
2704 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1234 current_syscall_error.type = seL4_DeleteFirst;
1390 current_syscall_error.type = seL4_DeleteFirst;
1499 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1860 current_syscall_error.type = seL4_DeleteFirst;
1955 current_syscall_error.type = seL4_DeleteFirst;
2048 current_syscall_error.type = seL4_DeleteFirst;
2328 current_syscall_error.type = seL4_DeleteFirst;
2417 current_syscall_error.type = seL4_DeleteFirst;
/seL4-l4v-master/seL4/src/object/
H A Dcnode.c833 current_syscall_error.type = seL4_DeleteFirst;
H A Dtcb.c2075 case seL4_DeleteFirst:
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Djiraver443.c125 seL4_DeleteFirst, enumerator in enum:__anon120

Completed in 293 milliseconds