host_idt_base     439 arch/x86/kvm/vmx/vmx.c static unsigned long host_idt_base;
host_idt_base    3896 arch/x86/kvm/vmx/vmx.c 	vmcs_writel(HOST_IDTR_BASE, host_idt_base);   /* 22.2.4 */
host_idt_base    6234 arch/x86/kvm/vmx/vmx.c 	desc = (gate_desc *)host_idt_base + vector;
host_idt_base    7619 arch/x86/kvm/vmx/vmx.c 	host_idt_base = dt.address;