38 		empty_fpu_state.fsave.twd = 0xffffffff;  in boot_init_fpu()
119 static inline unsigned short twd_i387_to_fxsr( unsigned short twd )  in twd_i387_to_fxsr()  argument
124         tmp = ~twd;  in twd_i387_to_fxsr()
137 	unsigned long twd = (unsigned long) fxsave->twd;  in twd_fxsr_to_i387()  local
145 		if ( twd & 0x1 ) {  in twd_fxsr_to_i387()
174 		twd = twd >> 1;  in twd_fxsr_to_i387()
204 		return tsk->thread.i387.fxsave.twd;  in get_fpu_twd()
206 		return (unsigned short)tsk->thread.i387.fsave.twd;  in get_fpu_twd()
237 void set_fpu_twd( struct task_struct *tsk, unsigned short twd )  in set_fpu_twd()  argument
240 		tsk->thread.i387.fxsave.twd = twd_i387_to_fxsr(twd);  in set_fpu_twd()
242 		tsk->thread.i387.fsave.twd = ((long)twd | 0xffff0000);  in set_fpu_twd()
298 	fxsave->twd = twd_i387_to_fxsr((unsigned short)(env[2] & 0xffff));  in convert_fxsr_from_user()