Binsec_isa_armv8.Aarch64ToDbaSourcemodule Logger : Binsec_kernel.Logger.Sval decode :
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.