Searched refs:twd_i387_to_fxsr (Results 1 – 2 of 2) sorted by relevance
416 static inline unsigned short twd_i387_to_fxsr(unsigned short twd) in twd_i387_to_fxsr() function530 fxsave->twd = twd_i387_to_fxsr(env->twd); in convert_to_fxsr()
23 static inline unsigned short twd_i387_to_fxsr(unsigned short twd) in twd_i387_to_fxsr() function128 fxsave->twd = twd_i387_to_fxsr((unsigned short)(env[2] & 0xffff)); in convert_fxsr_from_user()