HV: vmx: Change variable field to uint32_t

With field defined as uint64_t, there are some implicit type conversions when
calling exec_vmwrite/read functions which takes a uint32_t for the first parameter.

This patch fixes it by change field to uint32_t.

v1 - > v2:
  - Keep the field as it is and change the defination of field to uint32_t.

Signed-off-by: Kaige Fu <kaige.fu@intel.com>
Reviewed-by: Junjie Mao <junjie.mao@intel.com>
This commit is contained in:
Kaige Fu 2018-07-10 11:45:40 +08:00 committed by Jack Ren
parent 43e4bd4f7a
commit df038fc0db

View File

@ -524,7 +524,7 @@ int vmx_write_cr4(struct vcpu *vcpu, uint64_t cr4)
static void init_guest_state(struct vcpu *vcpu)
{
uint64_t field;
uint32_t field;
uint64_t value;
uint32_t value32;
uint64_t value64;
@ -978,7 +978,7 @@ static void init_guest_state(struct vcpu *vcpu)
static void init_host_state(__unused struct vcpu *vcpu)
{
uint64_t field;
uint32_t field;
uint16_t value16;
uint32_t value32;
uint64_t value64;
@ -1448,7 +1448,7 @@ static void init_exit_ctrl(__unused struct vcpu *vcpu)
#ifdef CONFIG_EFI_STUB
static void override_uefi_vmcs(struct vcpu *vcpu)
{
uint64_t field;
uint32_t field;
struct run_context *cur_context =
&vcpu->arch_vcpu.contexts[vcpu->arch_vcpu.cur_context];