Searched refs:tss_ss (Results 1 – 4 of 4) sorted by relevance
63 int tss_ss; /* actually 16 bits: top 16 bits must be zero */ member
80 uint16_t tss_ss; member451 tss->tss_ss = GETREG(vcpu, VM_REG_GUEST_SS); in tss32_save()549 SETREG(vcpu, VM_REG_GUEST_SS, tss->tss_ss); in tss32_restore()
1017 t->tss_eflags, t->tss_cs, t->tss_ss, t->tss_ds, in dblfault_handler()
1662 dblfault_tss->tss_ss = dblfault_tss->tss_ss0 = dblfault_tss->tss_ss1 = in machdep_init_trampoline()