Searched refs:HOST_GDTR_BASE (Results 1 – 3 of 3) sorted by relevance
521 HOST_GDTR_BASE = 0x00006c0c, enumerator
868 __vmwrite(HOST_GDTR_BASE, in vmx_set_host_env()2042 vmr(HOST_GDTR_BASE), vmr(HOST_IDTR_BASE)); in vmcs_dump_vcpu()
977 {HOST_GDTR_BASE, GUEST_GDTR_BASE},
Completed in 13 milliseconds