Searched refs:datasel (Results 1 – 2 of 2) sorted by relevance
344 int error, codesel, datasel, tsssel; in vmcs_init() local349 datasel = vmm_get_host_datasel(); in vmcs_init()380 if ((error = vmwrite(VMCS_HOST_ES_SELECTOR, datasel)) != 0) in vmcs_init()386 if ((error = vmwrite(VMCS_HOST_SS_SELECTOR, datasel)) != 0) in vmcs_init()389 if ((error = vmwrite(VMCS_HOST_DS_SELECTOR, datasel)) != 0) in vmcs_init()392 if ((error = vmwrite(VMCS_HOST_FS_SELECTOR, datasel)) != 0) in vmcs_init()395 if ((error = vmwrite(VMCS_HOST_GS_SELECTOR, datasel)) != 0) in vmcs_init()
109 u_int32_t datasel; member