如何在gdb上的64位机器上获取8字节指针值？

我正在研究64位系统的内核。架构设置正确，但指针值仍打印为4字节。需要进行哪些更改才能使其打印64位值

(gdb) p sizeof(void *)
$16 = 8

(gdb) p this
$15 = 0x4852200

(gdb) show architecture
The target architecture is assumed to be i386:x86-64:intel

需要进行哪些更改才能使其打印64位值

---

GDB已经在打印64位值。恰好高位为0。

已回答，但如果您想了解整个情况，请尝试p/z此选项。