Searched refs:vmm_get_host_gssel (Results 1 – 2 of 2) sorted by relevance
115 vmm_get_host_gssel(void) in vmm_get_host_gssel() function
812 vmcs_write(VMCS_HOST_GS_SELECTOR, vmm_get_host_gssel()); in vmx_vminit()