Symbol: md_syscall_dec_pc
sys/arch/usermode/include/machdep.h
37
void md_syscall_dec_pc(ucontext_t *ucp, uint32_t opcode);
sys/arch/usermode/usermode/syscall.c
146
md_syscall_dec_pc(ucp, opcode);