Searched refs:HOST_IDTR_BASE (Results 1 – 3 of 3) sorted by relevance
505 HOST_IDTR_BASE = 0x00006c0e, enumerator
807 __vmwrite(HOST_IDTR_BASE, (unsigned long)idt_tables[cpu]); in vmx_set_host_env()1851 vmr(HOST_GDTR_BASE), vmr(HOST_IDTR_BASE)); in vmcs_dump_vcpu()
945 {HOST_IDTR_BASE, GUEST_IDTR_BASE},
Completed in 11 milliseconds