Searched refs:syscall (Results 276 - 284 of 284) sorted by relevance

<<1112

/seL4-camkes-master/kernel/manual/parts/
H A Dcspace.tex201 \obj{ReplyCap} & Cannot be derived & Dependent on syscall \\
202 \obj{IRQControl} & Cannot be derived & Dependent on syscall \\
/seL4-camkes-master/kernel/src/object/
H A Dcnode.c11 #include <api/syscall.h>
H A Dtcb.c11 #include <api/syscall.h>
774 /* The following functions sit in the syscall error monad, but include the
1996 /* Offset of 2 to get past the initial syscall arguments */
2082 fail("Invalid syscall error");
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c14 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c8 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c12 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c8 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c11 #include <api/syscall.h>
2118 * given address space), and getting a syscall error because the
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c11 #include <api/syscall.h>
1760 * given address space), and getting a syscall error because the

Completed in 105 milliseconds

<<1112