HOST_IDTR_BASE
EVMCS1_FIELD(HOST_IDTR_BASE, host_idtr_base,
FIELD(HOST_IDTR_BASE, host_idtr_base),
vmcs_writel(HOST_IDTR_BASE, host_idt_base); /* 22.2.4 */
vmcs_readl(HOST_GDTR_BASE), vmcs_readl(HOST_IDTR_BASE));
case HOST_IDTR_BASE:
case HOST_IDTR_BASE:
vmwrite(HOST_IDTR_BASE, get_idt().address);
vmwrite(GUEST_IDTR_BASE, vmreadz(HOST_IDTR_BASE));