/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 12 #include <api/syscall.h>
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | syscalls.c | 29 ZF_LOGD("PA translation syscall from [%s]: 0x%08x->?\n", vm->vm_name, pa); 38 * TODO: Re-enable or re-evaluate support for syscall 63 ZF_LOGD("IPA translation syscall from [%s]: 0x%08x->0x%08x\n", 74 ZF_LOGD("NOP syscall from [%s]\n", vm->vm_name); 79 seL4_Word syscall, ip; local 86 syscall = seL4_GetMR(seL4_UnknownSyscall_Syscall); 94 ZF_LOGI("Syscall %d from [%s]\n", syscall, vm->vm_name); 95 switch (syscall) { 102 * TODO: Re-enable or re-evaluate support for syscall 111 ZF_LOGE("%sBad syscall fro [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | untyped.c | 10 #include <api/syscall.h>
|
H A D | objecttype.c | 11 #include <api/syscall.h>
|
H A D | tcb.c | 11 #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/64/kernel/ |
H A D | vspace.c | 8 #include <api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 8 #include <api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 11 #include <api/syscall.h> 1760 * given address space), and getting a syscall error because the
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 11 #include <api/syscall.h> 2118 * given address space), and getting a syscall error because the
|
/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");
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.simple.c | 424 .syscall = UntypedRetype, 435 .syscall = ARCHPageGetAddress,
|
H A D | component.common.c | 259 * they want to provide their syscall implementation before or after 694 .syscall = SchedContextBind, 711 .syscall = SchedContextUnbind, 747 .syscall = SchedContextBind, 762 .syscall = SchedContextUnbind,
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 11 #include <api/syscall.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | vsyscall.c | 21 #include <bits/syscall.h> 33 * on startup before the syscall table is initialized. In the case of more 165 /* Additional syscall lookup table for handling spare syscalls or syscalls that have large 167 * must be searched to find a syscall */ 170 muslcsys_syscall_t syscall; member in struct:sparse_syscall 191 static int find_sparse_syscall(int syscall) argument 194 if (sparse_syscall_table[i].sysnum == syscall) { 201 muslcsys_syscall_t muslcsys_install_syscall(int syscall, muslcsys_syscall_t new_syscall) argument 204 if (syscall >= ARRAY_SIZE(syscall_table)) { 205 int index = find_sparse_syscall(syscall); 272 muslcsys_syscall_t syscall; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/ |
H A D | vsyscall.h | 19 #include <bits/syscall.h> 26 /* Installs a new handler for the given syscall. Any previous handler is returned 27 * and can be used to provide layers of syscall handling */ 28 muslcsys_syscall_t muslcsys_install_syscall(int syscall, muslcsys_syscall_t new_syscall); 31 * and hence prior to syscall handlers being able to be installed. For such cases 34 * These functions return true/false if the syscall was called on boot, and take
|
/seL4-camkes-master/kernel/src/arch/riscv/ |
H A D | c_traps.c | 13 #include <api/syscall.h> 147 void NORETURN slowpath(syscall_t syscall) argument 149 /* check for undefined syscall */ 150 if (unlikely(syscall < SYSCALL_MIN || syscall > SYSCALL_MAX)) { 151 handleUnknownSyscall(syscall); 153 handleSyscall(syscall); 161 word_t unused4, word_t reply, syscall_t syscall) 168 if (syscall == (syscall_t)SysCall) { 171 } else if (syscall 160 c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t reply, syscall_t syscall) argument [all...] |
H A D | traps.S | 11 #include <arch/api/syscall.h> 105 syscall: label 113 /* Not an interrupt or a syscall */
|
/seL4-camkes-master/kernel/manual/parts/ |
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.
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch64/ |
H A D | unknown_syscall_fault.c | 36 int syscall = seL4_GetMR(12); local 37 SHOW("unknown syscall (%d) from %s (ID 0x%"PRIxPTR"), pc = %p\n" 49 syscall, name, thread_id, (void *)pc, (void *)x0, (void *)x1, (void *)x2,
|
/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/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/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/include/api/ |
H A D | debug.h | 13 #include <arch/api/syscall.h> 28 printf("Unknown syscall, word: %lu", (unsigned long) ksKernelEntry.word);
|
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 14 #include <api/syscall.h>
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 8 #include <api/syscall.h>
|