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