Hacker News Reader

Phew. I must have re-read the post like 3 times to confirm they were actually missing. Thanks for clarification.

There's good evidence for mask registers and x87 registers sharing the same hardware on recent Intel chips: https://travisdowns.github.io/blog/2020/05/26/kreg2.html