riscv64-unknown-elf-objdump -DS kernel | grep -E [0-9a-z]+':'| awk '{print $3}'|sort|uniqadd
addi
addiw
addw
amoadd.d
amoadd.w
amoadd.w.rl
amoswap.w
amoswap.w.aq
and
andi
auipc
beq
beqz
bge
bgeu
bgez
bgtz
blez
blt
bltu
bltz
bne
bnez
c.add
c.li
c.lui
c.mv
c.nop
c.slli
c.slli64
c.srai64
csrc
csrci
c.srli64
csrr
csrrc
csrrci
csrrs
csrrsi
csrrw
csrrwi
csrs
csrw
divuw
ebreak
ecall
fadd.q
fadd.s
fdiv.d
fdiv.s
fence
fld
flq
flw
fmadd.d
fmadd.s
fmsub.d
fmsub.q
fmsub.s
fnmadd.d
fnmadd.q
fnmadd.s
fnmsub.d
fnmsub.q
fnmsub.s
format
fsd
fsw
j
jal
jalr
jr
lb
lbu
ld
lh
lhu
li
lui
lw
lwu
mret
mul
mulw
mv
neg
negw
nop
not
or
ori
remuw
ret
sb
sd
section
seqz
sext.w
sfence.vma
sh
sll
slli
slliw
sllw
slt
slti
sltiu
sltu
sltz
snez
srai
sraiw
sret
srl
srli
srliw
srlw
sub
subw
sw
unimp
xor
xori