Searched refs:datasel (Results 1 – 4 of 4) sorted by relevance
343 int error, codesel, datasel, tsssel; in vmcs_init() local348 datasel = vmm_get_host_datasel(); in vmcs_init()379 if ((error = vmwrite(VMCS_HOST_ES_SELECTOR, datasel)) != 0) in vmcs_init()385 if ((error = vmwrite(VMCS_HOST_SS_SELECTOR, datasel)) != 0) in vmcs_init()388 if ((error = vmwrite(VMCS_HOST_DS_SELECTOR, datasel)) != 0) in vmcs_init()391 if ((error = vmwrite(VMCS_HOST_FS_SELECTOR, datasel)) != 0) in vmcs_init()394 if ((error = vmwrite(VMCS_HOST_GS_SELECTOR, datasel)) != 0) in vmcs_init()
387 u_int32_t datasel; member
414 u_int32_t datasel; member
77 unsigned int datasel; member