Searched refs:host_idt_base (Results 1 – 1 of 1) sorted by relevance
621 static unsigned long host_idt_base; variable4552 vmcs_writel(HOST_IDTR_BASE, host_idt_base); /* 22.2.4 */ in vmx_set_constant_host_state()7249 vmx_do_interrupt_irqoff(gate_offset((gate_desc *)host_idt_base + vector)); in handle_external_interrupt_irqoff()8697 host_idt_base = dt.address; in vmx_hardware_setup()