Searched refs:tss_fs (Results 1 – 4 of 4) sorted by relevance
65 int tss_fs; /* actually 16 bits: top 16 bits must be zero */ member
84 uint16_t tss_fs; member453 tss->tss_fs = GETREG(vcpu, VM_REG_GUEST_FS); in tss32_save()551 SETREG(vcpu, VM_REG_GUEST_FS, tss->tss_fs); in tss32_restore()
1018 t->tss_es, t->tss_fs, t->tss_gs, t->tss_cr3); in dblfault_handler()
1669 dblfault_tss->tss_fs = GSEL(GPRIV_SEL, SEL_KPL); in machdep_init_trampoline()