Searched refs:tss_gs (Results 1 – 4 of 4) sorted by relevance
68 int tss_gs; /* actually 16 bits: top 16 bits must be zero */ member
87 uint16_t tss_gs; member455 tss->tss_gs = GETREG(ctx, vcpu, VM_REG_GUEST_GS); in tss32_save()553 SETREG(ctx, vcpu, VM_REG_GUEST_GS, tss->tss_gs); in tss32_restore()
1038 t->tss_es, t->tss_fs, t->tss_gs, t->tss_cr3); in dblfault_handler()
1679 dblfault_tss->tss_gs = GSEL(GDATA_SEL, SEL_KPL); in machdep_init_trampoline()