Searched refs:datasel (Results 1 – 4 of 4) sorted by relevance
341 int error, codesel, datasel, tsssel; in vmcs_init() local346 datasel = vmm_get_host_datasel(); in vmcs_init()377 if ((error = vmwrite(VMCS_HOST_ES_SELECTOR, datasel)) != 0) in vmcs_init()383 if ((error = vmwrite(VMCS_HOST_SS_SELECTOR, datasel)) != 0) in vmcs_init()386 if ((error = vmwrite(VMCS_HOST_DS_SELECTOR, datasel)) != 0) in vmcs_init()389 if ((error = vmwrite(VMCS_HOST_FS_SELECTOR, datasel)) != 0) in vmcs_init()392 if ((error = vmwrite(VMCS_HOST_GS_SELECTOR, datasel)) != 0) in vmcs_init()
403 u_int32_t datasel; member
429 u_int32_t datasel; member
77 unsigned int datasel; member