I am trying to get the contents of my adc register for debugging but I don't know how to print it with gdb. If the address register offset is 0x08 would I use p/x *0x08? I am getting a result but it is 64 bits and I'm expecting 32. Thanks.
Turns out I was trying to find the wrong address and using a confusing hex to binary converter. Thanks to @Eugene Sh. for helping.