Searched refs:twd_i387_to_fxsr (Results 1 – 2 of 2) sorted by relevance
14 static inline unsigned short twd_i387_to_fxsr(unsigned short twd) in twd_i387_to_fxsr() function88 fxsave->twd = twd_i387_to_fxsr(fxsave->twd); in convert_fxsr_from_user()
119 static inline unsigned short twd_i387_to_fxsr( unsigned short twd ) in twd_i387_to_fxsr() function240 tsk->thread.i387.fxsave.twd = twd_i387_to_fxsr(twd); in set_fpu_twd()298 fxsave->twd = twd_i387_to_fxsr((unsigned short)(env[2] & 0xffff)); in convert_fxsr_from_user()