Searched defs:c_handle_syscall (Results 1 - 3 of 3) sorted by relevance
/seL4-refos-master/kernel/src/arch/arm/ |
H A D | c_traps.c | 126 void VISIBLE c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall) function
|
/seL4-refos-master/kernel/src/arch/riscv/ |
H A D | c_traps.c | 160 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, word_t unused1, word_t unused2, word_t unused3, function
|
/seL4-refos-master/kernel/src/arch/x86/ |
H A D | c_traps.c | 142 void VISIBLE NORETURN c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall, word_t reply) function
|
Completed in 68 milliseconds