__switch_to_fpu
static inline void __switch_to_fpu(struct task_struct *prev,
static inline void __switch_to_fpu(struct task_struct *prev,
static inline void __switch_to_fpu(struct task_struct *prev,
#define __switch_to_fpu(__prev, __next) do { } while (0)