title: How to dump ARM-coprocessor registers using gdb?
body: <p>Is there a way to dump the co-processor registers of ARM (specifically CP15 sctlr) from gdb ? I am using toolchain from code-sourcery (arm-none-linux-gnueabi-) and debugging linux running on QEMU.</p>
  
  <p>One way could be to dump the used GPR before/after the mcr/mrc instructions. Is there another way ? </p>