Searched refs:tss_cs (Results 1 – 4 of 4) sorted by relevance
62 int tss_cs; /* actually 16 bits: top 16 bits must be zero */ member
78 uint16_t tss_cs; member450 tss->tss_cs = GETREG(vcpu, VM_REG_GUEST_CS); in tss32_save()548 SETREG(vcpu, VM_REG_GUEST_CS, tss->tss_cs); in tss32_restore()588 ts->paging.cpl = tss->tss_cs & SEL_RPL_MASK; in tss32_restore()
1017 t->tss_eflags, t->tss_cs, t->tss_ss, t->tss_ds, in dblfault_handler()
1670 dblfault_tss->tss_cs = GSEL(GCODE_SEL, SEL_KPL); in machdep_init_trampoline()