diff --git a/kern/arch/x86/vmx.c b/kern/arch/x86/vmx.c
index 0a86a7b..276cabf 100644
--- a/kern/arch/x86/vmx.c
+++ b/kern/arch/x86/vmx.c
@@ -447,7 +447,7 @@
 	uint64_t phys_addr = PADDR(vcpu->vmcs);
 	int cpu;
 	cpu = core_id();
-
+	printk("%d: __vcpu_load phys_addr %p\n", cpu, phys_addr);
 	if (vcpu->cpu != cpu) {
 		handler_wrapper_t *w;
 		smp_call_function_single(vcpu->cpu, __vcpu_clear, vcpu, &w);
@@ -493,18 +493,20 @@
  */
 static struct litevm_vcpu *vcpu_load(struct litevm *litevm, int vcpu_slot)
 {
+	int ret;
 	print_func_entry();
 	struct litevm_vcpu *vcpu = &litevm->vcpus[vcpu_slot];
 
 	printk("vcpu_slot %d vcpu %p\n", vcpu_slot, vcpu);
 
 	qlock(&vcpu->mutex);
+	printk("after qlock\n");
 	if (!vcpu->vmcs) {
 		qunlock(&vcpu->mutex);
 		error("vcpu->vmcs is NULL");
 	}
+	ret = __vcpu_load(vcpu);
 	print_func_exit();
-	return __vcpu_load(vcpu);
 }
 
 static void vcpu_put(struct litevm_vcpu *vcpu)