GUEST_GDTR_LIMIT
EVMCS1_FIELD(GUEST_GDTR_LIMIT, guest_gdtr_limit,
vmcs_write32(GUEST_GDTR_LIMIT, vmcs12->guest_gdtr_limit);
case GUEST_GDTR_LIMIT:
vmcs12->guest_gdtr_limit = vmcs_read32(GUEST_GDTR_LIMIT);
vmcs_write32(GUEST_GDTR_LIMIT, 0xFFFF);
FIELD(GUEST_GDTR_LIMIT, guest_gdtr_limit),
dt->size = vmcs_read32(GUEST_GDTR_LIMIT);
vmcs_write32(GUEST_GDTR_LIMIT, dt->size);
vmcs_write32(GUEST_GDTR_LIMIT, 0xffff);
vmcs_readl(limit + GUEST_GDTR_BASE - GUEST_GDTR_LIMIT));
vmx_dump_dtsel("GDTR:", GUEST_GDTR_LIMIT);
case GUEST_GDTR_LIMIT:
case GUEST_GDTR_LIMIT:
vmwrite(GUEST_GDTR_LIMIT, 0xffff);