Comment by egberts1

And us machine emulators too, like Fabrice Bellard (QEMU) and me (and my OP post detailed the failing of emulated TLB in QEMU as discovered by Unicorn emulator).

Unicorn emulator - https://github.com/unicorn-engine/unicorn