Lines Matching refs:cbGdt
3021 Gdtr.cbGdt = Gdtr64.cb;
3038 if (Gdtr.cbGdt != 0xffff)
3070 AssertMsgReturn((uSelTR | X86_SEL_RPL_LDT) <= Gdtr.cbGdt,
3071 ("hmR0VmxSaveHostSegmentRegs: TR selector exceeds limit. TR=%RTsel cbGdt=%#x\n", uSelTR, Gdtr.cbGdt),
4674 rc = VMXWriteVmcs32(VMX_VMCS32_GUEST_GDTR_LIMIT, pMixedCtx->gdtr.cbGdt); AssertRCReturn(rc, rc);
4678 Assert(!(pMixedCtx->gdtr.cbGdt & 0xffff0000)); /* Bits 31:16 MBZ. */
5078 if (u32Val < HostGdtr.cbGdt)
5086 if (u32Val < HostGdtr.cbGdt)
5094 if (u32Val < HostGdtr.cbGdt)
5102 if (u32Val < HostGdtr.cbGdt)
5110 if (u32Val < HostGdtr.cbGdt)
5118 if (u32Val < HostGdtr.cbGdt)
5126 if (u32Val < HostGdtr.cbGdt)
6618 pMixedCtx->gdtr.cbGdt = u32Val;