path: root/riscv/insns/syscall.h

throw trap_syscall();