Searched defs:c_handle_syscall (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-10.1.1/seL4/src/arch/arm/ |
H A D | c_traps.c | 125 c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) function
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/ |
H A D | c_traps.c | 139 c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, word_t unused4, word_t unused5, syscall_t syscall) function
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/ |
H A D | c_traps.c | 148 c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) function
|
Completed in 92 milliseconds