GUEST_IDTR_BASE  1697 arch/x86/kvm/vmx.c 	dt->base = vmcs_readl(GUEST_IDTR_BASE);
GUEST_IDTR_BASE  1703 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_IDTR_BASE, dt->base);
GUEST_IDTR_BASE  2086 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_IDTR_BASE, 0);