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;