VirtualBox

Changeset 48219 in vbox for trunk/src/VBox/VMM/VMMR0


Ignore:
Timestamp:
Sep 1, 2013 5:11:31 PM (11 years ago)
Author:
vboxsync
Message:

VMM/HMVMXR0: Hungarian.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp

    r48218 r48219  
    11281128static void hmR0VmxFlushEpt(PVMCPU pVCpu, VMX_FLUSH_EPT enmFlush)
    11291129{
    1130     uint64_t descriptor[2];
     1130    uint64_t au64Descriptor[2];
    11311131    if (enmFlush == VMX_FLUSH_EPT_ALL_CONTEXTS)
    1132         descriptor[0] = 0;
     1132        au64Descriptor[0] = 0;
    11331133    else
    11341134    {
    11351135        Assert(pVCpu);
    1136         descriptor[0] = pVCpu->hm.s.vmx.HCPhysEPTP;
    1137     }
    1138     descriptor[1] = 0;                           /* MBZ. Intel spec. 33.3 "VMX Instructions" */
    1139 
    1140     int rc = VMXR0InvEPT(enmFlush, &descriptor[0]);
     1136        au64Descriptor[0] = pVCpu->hm.s.vmx.HCPhysEPTP;
     1137    }
     1138    au64Descriptor[1] = 0;                       /* MBZ. Intel spec. 33.3 "VMX Instructions" */
     1139
     1140    int rc = VMXR0InvEPT(enmFlush, &au64Descriptor[0]);
    11411141    AssertMsg(rc == VINF_SUCCESS, ("VMXR0InvEPT %#x %RGv failed with %Rrc\n", enmFlush, pVCpu ? pVCpu->hm.s.vmx.HCPhysEPTP : 0,
    11421142                                   rc));
     
    11651165    Assert(pVM->hm.s.vmx.fVpid);
    11661166
    1167     uint64_t descriptor[2];
     1167    uint64_t au64Descriptor[2];
    11681168    if (enmFlush == VMX_FLUSH_VPID_ALL_CONTEXTS)
    11691169    {
    1170         descriptor[0] = 0;
    1171         descriptor[1] = 0;
     1170        au64Descriptor[0] = 0;
     1171        au64Descriptor[1] = 0;
    11721172    }
    11731173    else
     
    11761176        AssertMsg(pVCpu->hm.s.uCurrentAsid != 0, ("VMXR0InvVPID: invalid ASID %lu\n", pVCpu->hm.s.uCurrentAsid));
    11771177        AssertMsg(pVCpu->hm.s.uCurrentAsid <= UINT16_MAX, ("VMXR0InvVPID: invalid ASID %lu\n", pVCpu->hm.s.uCurrentAsid));
    1178         descriptor[0] = pVCpu->hm.s.uCurrentAsid;
    1179         descriptor[1] = GCPtr;
    1180     }
    1181 
    1182     int rc = VMXR0InvVPID(enmFlush, &descriptor[0]); NOREF(rc);
     1178        au64Descriptor[0] = pVCpu->hm.s.uCurrentAsid;
     1179        au64Descriptor[1] = GCPtr;
     1180    }
     1181
     1182    int rc = VMXR0InvVPID(enmFlush, &au64Descriptor[0]); NOREF(rc);
    11831183    AssertMsg(rc == VINF_SUCCESS,
    11841184              ("VMXR0InvVPID %#x %u %RGv failed with %d\n", enmFlush, pVCpu ? pVCpu->hm.s.uCurrentAsid : 0, GCPtr, rc));
Note: See TracChangeset for help on using the changeset viewer.

© 2024 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette