Searched refs:HOST_IDTR_BASE (Results 1 – 4 of 4) sorted by relevance
290 vmwrite(HOST_IDTR_BASE, get_idt().address); in init_vmcs_host_state()359 vmwrite(GUEST_IDTR_BASE, vmreadz(HOST_IDTR_BASE)); in init_vmcs_guest_state()
280 HOST_IDTR_BASE = 0x00006c0e, enumerator
426 case HOST_IDTR_BASE: in evmcs_vmread()874 case HOST_IDTR_BASE: in evmcs_vmwrite()
4446 vmcs_writel(HOST_IDTR_BASE, host_idt_base); /* 22.2.4 */ in vmx_set_constant_host_state()6589 vmcs_readl(HOST_GDTR_BASE), vmcs_readl(HOST_IDTR_BASE)); in dump_vmcs()