这些推送 r16 编码在 64 位模式下是否正确？

问：

关于在 Intel x86_64 CPU 的 64BIT 模式下推送 wordregister（r16）。

在 B-28 第 2D 卷中， 附录 B，指令格式和编码， 英特尔组合手册 PDF， 订单号：325462-080US，2023 年 6 月。

表 B-15.64 位模式的通用指令格式和编码（续）

我认为正确的是 0110_0110 （0x66）。但它是 0101_0101 （0x55）。 0x66 是一个操作数大小前缀，用于将操作数大小更改为 16 位，其中 CPU 处于 64 位模式。 但我不知道0x55前缀。

此外，没有推送 imm64 指令， 根据如何在 NASM 中推送 64 位 int？。