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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h19 seL4_RevokeFirst, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c36 [seL4_RevokeFirst] = "seL4_RevokeFirst",
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dinterrupt.c57 current_syscall_error.type = seL4_RevokeFirst;
102 current_syscall_error.type = seL4_RevokeFirst;
H A Dsmmu.c73 current_syscall_error.type = seL4_RevokeFirst;
224 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c63 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dinterrupt.c115 current_syscall_error.type = seL4_RevokeFirst;
H A Dioport.c149 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/object/
H A Dinterrupt.c52 current_syscall_error.type = seL4_RevokeFirst;
H A Dcnode.c822 current_syscall_error.type = seL4_RevokeFirst;
H A Dtcb.c2076 case seL4_RevokeFirst:
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c282 current_syscall_error.type = seL4_RevokeFirst;
487 current_syscall_error.type = seL4_RevokeFirst;
675 current_syscall_error.type = seL4_RevokeFirst;
H A Dvspace.c1151 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1154 current_syscall_error.type = seL4_RevokeFirst;
1318 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c683 current_syscall_error.type = seL4_RevokeFirst;
694 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1802 current_syscall_error.type = seL4_RevokeFirst;
1890 current_syscall_error.type = seL4_RevokeFirst;
1983 current_syscall_error.type = seL4_RevokeFirst;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2172 current_syscall_error.type = seL4_RevokeFirst;

Completed in 212 milliseconds