Searched refs:HOST_GDTR_BASE (Results 1 – 4 of 4) sorted by relevance
289 vmwrite(HOST_GDTR_BASE, get_gdt().address); in init_vmcs_host_state()358 vmwrite(GUEST_GDTR_BASE, vmreadz(HOST_GDTR_BASE)); in init_vmcs_guest_state()
279 HOST_GDTR_BASE = 0x00006c0c, enumerator
423 case HOST_GDTR_BASE: in evmcs_vmread()870 case HOST_GDTR_BASE: in evmcs_vmwrite()
1537 vmcs_writel(HOST_GDTR_BASE, (unsigned long)gdt); /* 22.2.4 */ in vmx_vcpu_load_vmcs()6589 vmcs_readl(HOST_GDTR_BASE), vmcs_readl(HOST_IDTR_BASE)); in dump_vmcs()