如何打印GDB中特定寄存器的值？

Question

有人知道如何通过GDB打印scr_el3寄存器的内容吗？它是针对ARM平台的。

汇编代码的转储如下所示：

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

我试过了：

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

但这没有帮助。