Beginning on disassembly of ARM THUMB (16-bit) encoding.
Authored by: debug 2014-08-15
Parent: [r5833]
Child: [r5835]
