Searched refs:syscall_t (Results 1 - 13 of 13) sorted by relevance
| /seL4-refos-master/kernel/include/arch/arm/arch/fastpath/ |
| H A D | fastpath.h | 14 void slowpath(syscall_t syscall)
|
| /seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | traps.h | 28 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply)
30 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | traps.h | 22 word_t unused5, syscall_t syscall)
|
| /seL4-refos-master/kernel/include/arch/x86/arch/fastpath/ |
| H A D | fastpath.h | 18 void slowpath(syscall_t syscall)
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | c_traps.c | 147 void NORETURN slowpath(syscall_t syscall)
161 word_t unused4, word_t reply, syscall_t syscall)
168 if (syscall == (syscall_t)SysCall) {
171 } else if (syscall == (syscall_t)SysReplyRecv) {
|
| /seL4-refos-master/kernel/include/api/ |
| H A D | syscall.h | 32 exception_t handleSyscall(syscall_t syscall);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/kernel/ |
| H A D | traps.h | 25 void c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
|
| /seL4-refos-master/kernel/src/arch/x86/ |
| H A D | c_traps.c | 103 void NORETURN slowpath(syscall_t syscall)
142 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply)
144 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
171 if (syscall == (syscall_t)SysCall) {
174 } else if (syscall == (syscall_t)SysReplyRecv) {
|
| /seL4-refos-master/kernel/src/arch/arm/ |
| H A D | c_traps.c | 107 void NORETURN slowpath(syscall_t syscall)
126 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 20 void slowpath(syscall_t syscall)
|
| /seL4-refos-master/libs/librefos/src/refos-util/ |
| H A D | init.c | 56 typedef long (*syscall_t)(va_list); typedef
397 syscall_t *syscall_table = (syscall_t *) parent_syscall_table_address;
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
| H A D | init.c | 56 typedef long (*syscall_t)(va_list); typedef
397 syscall_t *syscall_table = (syscall_t *) parent_syscall_table_address;
|
| /seL4-refos-master/kernel/src/api/ |
| H A D | syscall.c | 622 exception_t handleSyscall(syscall_t syscall)
|
Completed in 108 milliseconds