Searched refs:datasel (Results 1 – 3 of 3) sorted by relevance
345 int error, codesel, datasel, tsssel; in vmcs_init() local350 datasel = vmm_get_host_datasel(); in vmcs_init()381 if ((error = vmwrite(VMCS_HOST_ES_SELECTOR, datasel)) != 0) in vmcs_init()387 if ((error = vmwrite(VMCS_HOST_SS_SELECTOR, datasel)) != 0) in vmcs_init()390 if ((error = vmwrite(VMCS_HOST_DS_SELECTOR, datasel)) != 0) in vmcs_init()393 if ((error = vmwrite(VMCS_HOST_FS_SELECTOR, datasel)) != 0) in vmcs_init()396 if ((error = vmwrite(VMCS_HOST_GS_SELECTOR, datasel)) != 0) in vmcs_init()
387 u_int32_t datasel; member
414 u_int32_t datasel; member