serialize vmx_dump_cpu

ix-project · Oct 2, 2017 · caef215 · caef215
1 parent 2073142
commit caef215
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/kern/vmx.c b/kern/vmx.c
@@ -706,6 +706,8 @@ void vmx_ept_sync_individual_addr(struct vmx_vcpu *vcpu, gpa_t gpa)
 
 #define STACK_DEPTH 12
 
+static DEFINE_SPINLOCK(vmx_dump_cpu_lock);
+
 /**
  * vmx_dump_cpu - prints the CPU state
  * @vcpu: VCPU to print
@@ -716,6 +718,8 @@ static void vmx_dump_cpu(struct vmx_vcpu *vcpu)
 	int i;
 	unsigned long *sp, val;
 
+	spin_lock(&vmx_dump_cpu_lock);
+
 	vmx_get_cpu(vcpu);
 	vcpu->regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP);
 	vcpu->regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP);
@@ -754,6 +758,8 @@ static void vmx_dump_cpu(struct vmx_vcpu *vcpu)
 				i * sizeof(long), val);
 
 	printk(KERN_INFO "vmx: --- End VCPU Dump ---\n");
+
+	spin_unlock(&vmx_dump_cpu_lock);
 }
 
 static u64 construct_eptp(unsigned long root_hpa)