Symbol: INSN_SYSTEM
sys/arch/riscv/riscv/db_disasm.c
706
INSN_SYSTEM("sret", SYSTEM_SRET, RD_0 | RS1_0, 0),
sys/arch/riscv/riscv/db_disasm.c
707
INSN_SYSTEM("wfi", SYSTEM_WFI, RD_0 | RS1_0, 0),