Searched refs:HOST_GDTR_BASE (Results 1 – 3 of 3) sorted by relevance
292 vmwrite(HOST_GDTR_BASE, get_gdt_base()); in init_vmcs_host_state()361 vmwrite(GUEST_GDTR_BASE, vmreadz(HOST_GDTR_BASE)); in init_vmcs_guest_state()
326 HOST_GDTR_BASE = 0x00006c0c, enumerator
404 case HOST_GDTR_BASE: in evmcs_vmread()791 case HOST_GDTR_BASE: in evmcs_vmwrite()