GUEST_IDTR_BASE
EVMCS1_FIELD(GUEST_IDTR_BASE, guest_idtr_base,
vmcs_writel(GUEST_IDTR_BASE, vmcs12->guest_idtr_base);
case GUEST_IDTR_BASE:
vmcs12->guest_idtr_base = vmcs_readl(GUEST_IDTR_BASE);
vmcs_writel(GUEST_IDTR_BASE, vmcs12->host_idtr_base);
FIELD(GUEST_IDTR_BASE, guest_idtr_base),
dt->address = vmcs_readl(GUEST_IDTR_BASE);
vmcs_writel(GUEST_IDTR_BASE, dt->address);
vmcs_writel(GUEST_IDTR_BASE, 0);
case GUEST_IDTR_BASE:
case GUEST_IDTR_BASE:
vmwrite(GUEST_IDTR_BASE, vmreadz(HOST_IDTR_BASE));