Symbol: md_syscall_get_syscallnumber
sys/arch/usermode/include/machdep.h
31
void md_syscall_get_syscallnumber(ucontext_t *ucp, uint32_t *code);
sys/arch/usermode/usermode/syscall.c
102
md_syscall_get_syscallnumber(ucp, &code);