Symbol: md_syscall_inc_pc
sys/arch/usermode/include/machdep.h
36
void md_syscall_inc_pc(ucontext_t *ucp, uint32_t opcode);
sys/arch/usermode/usermode/syscall.c
128
md_syscall_inc_pc(ucp, opcode);