Home
last modified time | relevance | path

Searched refs:idt_base (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvmcs.c93 uint64_t idt_base; in init_host_state() local
155 idt_base = sidt(); in init_host_state()
157 if (((idt_base >> 47U) & 0x1UL) != 0UL) { in init_host_state()
158 idt_base |= 0xffff000000000000UL; in init_host_state()
161 exec_vmwrite(VMX_HOST_IDTR_BASE, idt_base); in init_host_state()
162 pr_dbg("VMX_HOST_IDTR_BASE: 0x%x ", idt_base); in init_host_state()

Completed in 2 milliseconds