Searched refs:syscall (Results 1 - 25 of 284) sorted by last modified time

1234567891011>>

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c12 #include <api/syscall.h>
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dsyscalls.c29 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 Duntyped.c10 #include <api/syscall.h>
H A Dobjecttype.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/64/kernel/
H A Dvspace.c8 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c8 #include <api/syscall.h>
/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
/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/api/
H A Dsyscall.c13 #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 Dcomponent.simple.c424 .syscall = UntypedRetype,
435 .syscall = ARCHPageGetAddress,
H A Dcomponent.common.c259 * 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 Diospace.c11 #include <api/syscall.h>
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c21 #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 Dvsyscall.h19 #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 Dc_traps.c13 #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 Dtraps.S11 #include <arch/api/syscall.h>
105 syscall: label
113 /* Not an interrupt or a syscall */
/seL4-camkes-master/kernel/manual/parts/
H A Dthreads.tex399 \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 Dunknown_syscall_fault.c36 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 Ddma.c473 .syscall = ARCHPageGetAddress,
560 * syscall by reusing this information now.
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/
H A Dio.c38 /* 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 Dtraps.S432 * 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 Ddebug.h13 #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 Dvcpu.c14 #include <api/syscall.h>
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c8 #include <api/syscall.h>

Completed in 187 milliseconds

1234567891011>>