host_val_vmcs     868 arch/x86/kvm/vmx/vmx.c 		unsigned long guest_val_vmcs, unsigned long host_val_vmcs,
host_val_vmcs     872 arch/x86/kvm/vmx/vmx.c 	if (host_val_vmcs != HOST_IA32_EFER)
host_val_vmcs     873 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(host_val_vmcs, host_val);