Searched refs:HOST_IDTR_BASE (Results 1 – 3 of 3) sorted by relevance
293 vmwrite(HOST_IDTR_BASE, get_idt_base()); in init_vmcs_host_state()362 vmwrite(GUEST_IDTR_BASE, vmreadz(HOST_IDTR_BASE)); in init_vmcs_guest_state()
327 HOST_IDTR_BASE = 0x00006c0e, enumerator
407 case HOST_IDTR_BASE: in evmcs_vmread()794 case HOST_IDTR_BASE: in evmcs_vmwrite()