Searched refs:tss_gs (Results 1 – 4 of 4) sorted by relevance
66 int tss_gs; /* actually 16 bits: top 16 bits must be zero */ member
86 uint16_t tss_gs; member454 tss->tss_gs = GETREG(vcpu, VM_REG_GUEST_GS); in tss32_save()552 SETREG(vcpu, VM_REG_GUEST_GS, tss->tss_gs); in tss32_restore()
1018 t->tss_es, t->tss_fs, t->tss_gs, t->tss_cr3); in dblfault_handler()
1668 dblfault_tss->tss_gs = GSEL(GDATA_SEL, SEL_KPL); in machdep_init_trampoline()