x/i ARM/Thumb instruction

[Shaun Jackman]

I'm debugging an ARM/Thumb processor using an Abatron BDI2000. x/i $pc
shows the current instruction as an ARM instruction, even though the
processor's currently in Thumb mode. How is the default format for x/i
chosen, and how do I override it? I tried x/ih and x/iw but I found
that the gdb manual says the width parameter is ignored for the x/i
command.

Thanks!
Shaun