How to print value for specific registers in GDB?

Question

Does anyone know how to print the contents of the scr_el3 register through GDB? This is for the ARM platform.

An assembler code dump is shown below:

   0x0000000000004394 <+20>:    msr     scr_el3, x18
   0x0000000000004398 <+24>:    msr     spsr_el3, x16
   0x000000000000439c <+28>:    msr     elr_el3, x17

I tried:

(gdb) print $pc
$10 = (void (*)()) 0x43a0 <el3_exit+32>
(gdb) print $spsr_el3
$11 = void

but it doesn’t help.