Originally, while dealing with some other patch, I merely noticed the issue addressed by patch 1. That quickly grew then, though.
1: adjust reg_read() for 32-bit guests 2: adjust reg_write() for 32-bit guests 3: prefer hvm_long_mode_active() in decode_vmx_inst() 4: operand size in decode_vmx_inst() 5: address size in decode_vmx_inst() Jan