@hikari So roughly 10.3 KiB addressable, ~25 KiB physical.

Assume relatively small server socket at 32C, that’s ~0.8MiB of register file per socket.