Searched refs:syscall (Results 251 - 275 of 284) sorted by relevance
<<1112
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | syscall_mman.c | 38 #include <sys/syscall.h>
|
/seL4-camkes-master/projects/musllibc/src/internal/i386/ |
H A D | syscall.s | 3 # The calling convention for __vsyscall has the syscall number
|
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
H A D | fastpath.h | 12 #include <api/syscall.h>
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
H A D | io.c | 38 /* Calls the error handler if there was an error with a syscall */ 46 .syscall = syscall_label,
|
/seL4-camkes-master/projects/musllibc/ |
H A D | Makefile.muslc | 36 GENH = obj/include/bits/alltypes.h obj/include/bits/syscall.h 99 obj/include/bits/syscall.h: $(srcdir)/arch/$(ARCH)/bits/syscall.h.in
|
/seL4-camkes-master/kernel/src/api/ |
H A D | syscall.c | 13 #include <api/syscall.h> 86 printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); 92 printf("Debug snapshot syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); 95 printf("Debug snapshot syscall not supported for the current arch\n"); 108 /* This is a syscall meant to aid debugging, so if anything goes wrong 622 exception_t handleSyscall(syscall_t syscall) argument 627 switch (syscall) 735 fail("Invalid syscall");
|
H A D | faults.c | 10 #include <api/syscall.h>
|
/seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/ |
H A D | sys_mman.c | 27 * Memory management syscall implementations. These are mostly ~nops, 41 #include <sys/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/arm/32/ |
H A D | hyp_traps.S | 78 #include <arch/api/syscall.h>
|
H A D | traps.S | 32 #include <arch/api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/arm/64/ |
H A D | traps.S | 9 #include <arch/api/syscall.h>
|
/seL4-camkes-master/kernel/src/object/ |
H A D | interrupt.c | 11 #include <api/syscall.h>
|
H A D | untyped.c | 10 #include <api/syscall.h>
|
H A D | objecttype.c | 11 #include <api/syscall.h>
|
/seL4-camkes-master/projects/musllibc/include/ |
H A D | unistd.h | 176 long syscall(long, ...);
|
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | getifaddrs.c | 7 #include <syscall.h>
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 9 #include <api/syscall.h>
|
H A D | iospace.c | 11 #include <api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace_32paging.c | 7 #include <api/syscall.h>
|
H A D | vspace.c | 8 #include <api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 432 * So, unset the EFLAGS.TF on the stack and this causes the syscall that we 513 # EAX : syscall number 529 pushl $-1 # save Error (-1 means we entered via syscall) 537 pushl %eax # save EAX (syscall number) 550 pushl %eax # syscall number
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 11 #include <api/syscall.h>
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | dma.c | 473 .syscall = ARCHPageGetAddress, 560 * syscall by reusing this information now.
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | api.tex | 213 A destination slot specified in the syscall arguments is occupied.
|
H A D | threads.tex | 399 \label{sec:unknown-syscall} 401 This fault occurs when a thread executes a system call with a syscall 652 done by using the \apifunc{seL4\_VMEnter}{sel4_vmenter} syscall. Executing this syscall causes the thread, whenever 656 and the \apifunc{seL4\_VMEnter}{sel4_vmenter} syscall will return with a message indicating the reason for return.
|
Completed in 278 milliseconds
<<1112