如何在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

但它没有帮助。