[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