Searched refs:handleSyscall (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/api/
A D	syscall.h	32 exception_t handleSyscall(syscall_t syscall);
/seL4-master/src/arch/arm/
A D	c_traps.c	120 handleSyscall(syscall); in slowpath()
/seL4-master/src/arch/riscv/
A D	c_traps.c	161 handleSyscall(syscall); in slowpath()
/seL4-master/src/arch/x86/
A D	c_traps.c	137 handleSyscall(syscall); in slowpath()
/seL4-master/src/api/
A D	syscall.c	616 exception_t handleSyscall(syscall_t syscall) in handleSyscall() function

Completed in 18 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023