Searched refs:datasel (Results 1 – 4 of 4) sorted by relevance
245 datasel; /* data operand selector */ member
261 fps.datasel &= 0xffff; /* %ds is really 16-bits too */ in pt_fpregs()276 mdb_printf("dtsel 0x%x\n\n", fps.datasel); in pt_fpregs()
696 int i, error, datasel; in vmx_vminit() local779 datasel = vmm_get_host_datasel(); in vmx_vminit()807 vmcs_write(VMCS_HOST_ES_SELECTOR, datasel); in vmx_vminit()808 vmcs_write(VMCS_HOST_SS_SELECTOR, datasel); in vmx_vminit()809 vmcs_write(VMCS_HOST_DS_SELECTOR, datasel); in vmx_vminit()
610 dst32->datasel = 0; in prfpregset_n_to_32()