vcpu_clear        627 arch/x86/kvm/vmx.c 		vcpu_clear(vmx);
vcpu_clear       3090 arch/x86/kvm/vmx.c 		vcpu_clear(vmx);