host_val          869 arch/x86/kvm/vmx/vmx.c 		u64 guest_val, u64 host_val)
host_val          873 arch/x86/kvm/vmx/vmx.c 		vmcs_write64(host_val_vmcs, host_val);
host_val          879 arch/x86/kvm/vmx/vmx.c 				  u64 guest_val, u64 host_val, bool entry_only)
host_val          892 arch/x86/kvm/vmx/vmx.c 					guest_val, host_val);
host_val          903 arch/x86/kvm/vmx/vmx.c 					guest_val, host_val);
host_val          941 arch/x86/kvm/vmx/vmx.c 	m->host.val[j].value = host_val;