x86: Update CPUID vmexit counter in vmx_handle_cpuid

Forgotten so far.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/hypervisor/arch/x86/vmx.c b/hypervisor/arch/x86/vmx.c
index 94a2083c5689f2072becd1dd163480632359fd42..59a3483d8a963037a5ca9a2fa079f4c90aa11d69 100644 (file)
--- a/hypervisor/arch/x86/vmx.c
+++ b/hypervisor/arch/x86/vmx.c
@@ -881,6 +881,8 @@ void vcpu_skip_emulated_instruction(unsigned int inst_len)
 
 static void vmx_handle_cpuid(union registers *guest_regs)
 {
+       this_cpu_data()->stats[JAILHOUSE_CPU_STAT_VMEXITS_CPUID]++;
+
        /* clear upper 32 bits of the involved registers */
        guest_regs->rax &= 0xffffffff;
        guest_regs->rbx &= 0xffffffff;