GUEST_IDTR_LIMIT
EVMCS1_FIELD(GUEST_IDTR_LIMIT, guest_idtr_limit,
vmcs_write32(GUEST_IDTR_LIMIT, vmcs12->guest_idtr_limit);
case GUEST_IDTR_LIMIT:
vmcs12->guest_idtr_limit = vmcs_read32(GUEST_IDTR_LIMIT);
vmcs_write32(GUEST_IDTR_LIMIT, 0xFFFF);
FIELD(GUEST_IDTR_LIMIT, guest_idtr_limit),
dt->size = vmcs_read32(GUEST_IDTR_LIMIT);
vmcs_write32(GUEST_IDTR_LIMIT, dt->size);
vmcs_write32(GUEST_IDTR_LIMIT, 0xffff);
vmx_dump_dtsel("IDTR:", GUEST_IDTR_LIMIT);
case GUEST_IDTR_LIMIT:
case GUEST_IDTR_LIMIT:
vmwrite(GUEST_IDTR_LIMIT, 0xffff);
GUEST_ASSERT(!vmwrite(GUEST_IDTR_LIMIT, 0));
GUEST_ASSERT_EQ(vmwrite(GUEST_IDTR_LIMIT, 0), 0);