Riscv_to_dba (p.binsec.0.7.3.doc.binsec.Binsec.Riscv_to

val decode_32 : 
  Lreader.t ->
  Virtual_address.t ->
  Instruction.Generic.t * Dhunk.t

decode_32 r addr decodes what is at address addr in reader r using ISA RISC-V32I with standard extensions C and M

val decode_64 : 
  Lreader.t ->
  Virtual_address.t ->
  Instruction.Generic.t * Dhunk.t

decode_64 r addr decodes what is at address addr in reader r using ISA RISC-V64I with standard extensions C and M