Binsec_isa_armv7.ArmToDbaSourcemodule Logger : Binsec_kernel.Logger.Sval decode :
?thumb:Binsec_kernel.Machine.thumb_mode ->
int Binsec_kernel.Reader.t ->
Binsec_kernel.Virtual_address.t ->
Binsec_kernel.Instruction.Generic.t * Binsec_kernel.Dhunk.tdecode r addr decodes what is at address addr in reader r.