Searched refs:tss_ds (Results 1 – 4 of 4) sorted by relevance
64 int tss_ds; /* actually 16 bits: top 16 bits must be zero */ member
82 uint16_t tss_ds; member452 tss->tss_ds = GETREG(vcpu, VM_REG_GUEST_DS); in tss32_save()550 SETREG(vcpu, VM_REG_GUEST_DS, tss->tss_ds); in tss32_restore()
1017 t->tss_eflags, t->tss_cs, t->tss_ss, t->tss_ds, in dblfault_handler()
1667 dblfault_tss->tss_ds = dblfault_tss->tss_es = in machdep_init_trampoline()