Searched refs:fx_fctw (Results 1 – 3 of 3) sorted by relevance
215 uint16_t fx_fctw; /* compressed tag word */ member
96 fx->fx_fctw = 0; in fnsave_to_fxsave()99 fx->fx_fctw |= (1 << i); in fnsave_to_fxsave()133 for (tagbits = fx->fx_fctw, i = 0; i < 8; i++, tagbits >>= 1) { in fxsave_to_fnsave()
1615 (void) printf("fpu_ftw[%d]\t\t0x%04x\n", vcpuid, fx->fx_fctw); in show_fpu()