136 	struct thread_user_vfp_state *tuv = thr->vfp_state.uvfp;  in thread_lazy_restore_ns_vfp()
783 	struct thread_user_vfp_state *tuv = thr->vfp_state.uvfp;  in thread_kernel_enable_vfp()
852 void thread_user_enable_vfp(struct thread_user_vfp_state *uvfp)  in thread_user_enable_vfp()  argument
855 	struct thread_user_vfp_state *tuv = thr->vfp_state.uvfp;  in thread_user_enable_vfp()
864 	} else if (tuv && uvfp != tuv) {  in thread_user_enable_vfp()
872 	if (uvfp->lazy_saved)  in thread_user_enable_vfp()
873 		vfp_lazy_restore_state(&uvfp->vfp, uvfp->saved);  in thread_user_enable_vfp()
874 	uvfp->lazy_saved = false;  in thread_user_enable_vfp()
875 	uvfp->saved = false;  in thread_user_enable_vfp()
877 	thr->vfp_state.uvfp = uvfp;  in thread_user_enable_vfp()
884 	struct thread_user_vfp_state *tuv = thr->vfp_state.uvfp;  in thread_user_save_vfp()
897 	struct thread_user_vfp_state *uvfp = &uctx->vfp;  in thread_user_clear_vfp()  local
900 	if (uvfp == thr->vfp_state.uvfp)  in thread_user_clear_vfp()
901 		thr->vfp_state.uvfp = NULL;  in thread_user_clear_vfp()
902 	uvfp->lazy_saved = false;  in thread_user_clear_vfp()
903 	uvfp->saved = false;  in thread_user_clear_vfp()