[PATCH 4/6] vVMX: prefer hvm_long_mode_active() in decode_vmx_inst()

[Jan Beulich]

All affected VMX insns are invalid to use from compatibility mode,
and hence the more expensive vmx_guest_x86_mode() doesn't need
using here.

Signed-off-by: Jan Beulich <jbeul...@suse.com>

--- a/xen/arch/x86/hvm/vmx/vvmx.c
+++ b/xen/arch/x86/hvm/vmx/vvmx.c
@@ -418,7 +418,7 @@ static int decode_vmx_inst(struct cpu_us
     }
     else
     {
-        bool mode_64bit = vmx_guest_x86_mode(v) == X86_MODE_64BIT;
+        bool mode_64bit = hvm_long_mode_active(v);
 
         decode->type = VMX_INST_MEMREG_TYPE_MEMORY;