如何在GDB中查看扩展控制寄存器的内容？

Question

有没有办法查看x86-64扩展控制寄存器的内容？特别是，我喜欢XCR0中的值。

• info all-registers未在显示的寄存器中提供控制寄存器。
• info register xcr0会产生＆＃34;无效的注册表＆＃39; xcr0＆＃39;＆＃34;错误信息。
• p $xcr0会导致＆＃34; $ 1 =无效＆＃34;。

GDB文档10.13, "Registers"没有提供任何其他方式来查看寄存器内容，我无法在文档中找到对扩展控制寄存器的引用。