QEMU registers support on x64