guest_val         869 arch/x86/kvm/vmx/vmx.c 		u64 guest_val, u64 host_val)
guest_val         871 arch/x86/kvm/vmx/vmx.c 	vmcs_write64(guest_val_vmcs, guest_val);
guest_val         879 arch/x86/kvm/vmx/vmx.c 				  u64 guest_val, u64 host_val, bool entry_only)
guest_val         892 arch/x86/kvm/vmx/vmx.c 					guest_val, host_val);
guest_val         903 arch/x86/kvm/vmx/vmx.c 					guest_val, host_val);
guest_val         931 arch/x86/kvm/vmx/vmx.c 	m->guest.val[i].value = guest_val;