Я чесно сумніваюся в цьому з ряду причин, але найголовнішим є те, що існують деякі інструкції, дозволені в 32-розрядному режимі, але не в 64-розрядному. Зокрема, префікс REX, який використовується для кодування деяких інструкцій та регістрів у 64-розрядному режимі, є байтом форми 0x4f: 0x40, але в 32-розрядному режимі той самий байт є або INC, або DEC з фіксованим операндом.
Через це будь-яка 64-розрядна інструкція, яка має префікс REX, буде інтерпретована як INC або DEC, і не дасть VMM можливості емулювати 64-розрядну інструкцію (наприклад, сигналізуючи про невизначений виняток коду роботи).
Єдиний спосіб це зробити - використовувати виняток trap для повернення до VMM після кожної інструкції, щоб він міг зрозуміти, чи потрібна йому спеціальна 64-розрядна обробка. Я просто не бачу, щоб це сталося.