Linux AT_SYSINFO_EHDR和/proc/self/maps之间存在分歧

所以我知道AT_SYSINFO_EHDR应该包含一个指向VDSO的指针。 我还知道VDSO显示在/proc/[pid]/maps中

但看起来输出不匹配。 例如，以这次跑步为例：

LD_SHOW_AUXV=1 cat /proc/self/maps
[...]
AT_SYSINFO_EHDR: 0x2aaaaaac6000
[...]
2aaaaaac6000-2aaaaaac7000 r-xp 2aaaaaac6000 00:00 0
[...]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vdso]
[...]

为什么会有区别？我错过什么了吗

[编辑] 好的，我看了其他机器的输出，输出在那里匹配。所以我猜这是那台机器特有的东西。如果你有解释的话，我还是会很感激的