Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 1994 Linus Torvalds |
| 3 | * |
| 4 | * Pentium III FXSR, SSE support |
| 5 | * General FPU state handling cleanups |
| 6 | * Gareth Hughes <gareth@valinux.com>, May 2000 |
| 7 | * x86-64 work by Andi Kleen 2002 |
| 8 | */ |
| 9 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 10 | #ifndef _ASM_X86_I387_H |
| 11 | #define _ASM_X86_I387_H |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 12 | |
Herbert Xu | 3b0d659 | 2009-11-03 09:11:15 -0500 | [diff] [blame] | 13 | #ifndef __ASSEMBLY__ |
| 14 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 15 | #include <linux/sched.h> |
| 16 | #include <linux/kernel_stat.h> |
| 17 | #include <linux/regset.h> |
Suresh Siddha | e491401 | 2008-08-13 22:02:26 +1000 | [diff] [blame] | 18 | #include <linux/hardirq.h> |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 19 | #include <linux/slab.h> |
H. Peter Anvin | 92c37fa | 2008-02-04 16:47:58 +0100 | [diff] [blame] | 20 | #include <asm/asm.h> |
H. Peter Anvin | c9775b4 | 2010-05-11 17:49:54 -0700 | [diff] [blame] | 21 | #include <asm/cpufeature.h> |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 22 | #include <asm/processor.h> |
| 23 | #include <asm/sigcontext.h> |
| 24 | #include <asm/user.h> |
| 25 | #include <asm/uaccess.h> |
Suresh Siddha | dc1e35c | 2008-07-29 10:29:19 -0700 | [diff] [blame] | 26 | #include <asm/xsave.h> |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 27 | |
Suresh Siddha | 3c1c7f1 | 2008-07-29 10:29:21 -0700 | [diff] [blame] | 28 | extern unsigned int sig_xstate_size; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 29 | extern void fpu_init(void); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 30 | extern void mxcsr_feature_mask_init(void); |
Suresh Siddha | aa283f4 | 2008-03-10 15:28:05 -0700 | [diff] [blame] | 31 | extern int init_fpu(struct task_struct *child); |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 32 | extern void __math_state_restore(struct task_struct *); |
Linus Torvalds | be98c2c | 2012-02-13 13:47:25 -0800 | [diff] [blame] | 33 | extern void math_state_restore(void); |
Jaswinder Singh | 3645493 | 2008-07-21 22:31:57 +0530 | [diff] [blame] | 34 | extern int dump_fpu(struct pt_regs *, struct user_i387_struct *); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 35 | |
| 36 | extern user_regset_active_fn fpregs_active, xfpregs_active; |
Suresh Siddha | 5b3efd5 | 2010-02-11 11:50:59 -0800 | [diff] [blame] | 37 | extern user_regset_get_fn fpregs_get, xfpregs_get, fpregs_soft_get, |
| 38 | xstateregs_get; |
| 39 | extern user_regset_set_fn fpregs_set, xfpregs_set, fpregs_soft_set, |
| 40 | xstateregs_set; |
| 41 | |
| 42 | /* |
| 43 | * xstateregs_active == fpregs_active. Please refer to the comment |
| 44 | * at the definition of fpregs_active. |
| 45 | */ |
| 46 | #define xstateregs_active fpregs_active |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 47 | |
Suresh Siddha | c37b5ef | 2008-07-29 10:29:25 -0700 | [diff] [blame] | 48 | extern struct _fpx_sw_bytes fx_sw_reserved; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 49 | #ifdef CONFIG_IA32_EMULATION |
Suresh Siddha | 3c1c7f1 | 2008-07-29 10:29:21 -0700 | [diff] [blame] | 50 | extern unsigned int sig_xstate_ia32_size; |
Suresh Siddha | c37b5ef | 2008-07-29 10:29:25 -0700 | [diff] [blame] | 51 | extern struct _fpx_sw_bytes fx_sw_reserved_ia32; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 52 | struct _fpstate_ia32; |
Suresh Siddha | ab51370 | 2008-07-29 10:29:22 -0700 | [diff] [blame] | 53 | struct _xstate_ia32; |
| 54 | extern int save_i387_xstate_ia32(void __user *buf); |
| 55 | extern int restore_i387_xstate_ia32(void __user *buf); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 56 | #endif |
| 57 | |
Brian Gerst | 8eb91a5 | 2010-09-03 21:17:16 -0400 | [diff] [blame] | 58 | #ifdef CONFIG_MATH_EMULATION |
| 59 | extern void finit_soft_fpu(struct i387_soft_struct *soft); |
| 60 | #else |
| 61 | static inline void finit_soft_fpu(struct i387_soft_struct *soft) {} |
| 62 | #endif |
| 63 | |
Suresh Siddha | b359e8a | 2008-07-29 10:29:20 -0700 | [diff] [blame] | 64 | #define X87_FSW_ES (1 << 7) /* Exception Summary */ |
| 65 | |
Suresh Siddha | 29104e1 | 2010-07-19 16:05:49 -0700 | [diff] [blame] | 66 | static __always_inline __pure bool use_xsaveopt(void) |
| 67 | { |
Suresh Siddha | 6bad06b | 2010-07-19 16:05:52 -0700 | [diff] [blame] | 68 | return static_cpu_has(X86_FEATURE_XSAVEOPT); |
Suresh Siddha | 29104e1 | 2010-07-19 16:05:49 -0700 | [diff] [blame] | 69 | } |
| 70 | |
H. Peter Anvin | c9775b4 | 2010-05-11 17:49:54 -0700 | [diff] [blame] | 71 | static __always_inline __pure bool use_xsave(void) |
Avi Kivity | c9ad488 | 2010-05-06 11:45:45 +0300 | [diff] [blame] | 72 | { |
H. Peter Anvin | c9775b4 | 2010-05-11 17:49:54 -0700 | [diff] [blame] | 73 | return static_cpu_has(X86_FEATURE_XSAVE); |
Avi Kivity | c9ad488 | 2010-05-06 11:45:45 +0300 | [diff] [blame] | 74 | } |
| 75 | |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 76 | static __always_inline __pure bool use_fxsr(void) |
| 77 | { |
| 78 | return static_cpu_has(X86_FEATURE_FXSR); |
| 79 | } |
| 80 | |
Suresh Siddha | 29104e1 | 2010-07-19 16:05:49 -0700 | [diff] [blame] | 81 | extern void __sanitize_i387_state(struct task_struct *); |
| 82 | |
| 83 | static inline void sanitize_i387_state(struct task_struct *tsk) |
| 84 | { |
| 85 | if (!use_xsaveopt()) |
| 86 | return; |
| 87 | __sanitize_i387_state(tsk); |
| 88 | } |
| 89 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 90 | #ifdef CONFIG_X86_64 |
Suresh Siddha | b359e8a | 2008-07-29 10:29:20 -0700 | [diff] [blame] | 91 | static inline int fxrstor_checking(struct i387_fxsave_struct *fx) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 92 | { |
| 93 | int err; |
| 94 | |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 95 | /* See comment in fxsave() below. */ |
H. Peter Anvin | fd35fbc | 2010-10-22 15:33:38 -0700 | [diff] [blame] | 96 | #ifdef CONFIG_AS_FXSAVEQ |
| 97 | asm volatile("1: fxrstorq %[fx]\n\t" |
| 98 | "2:\n" |
| 99 | ".section .fixup,\"ax\"\n" |
| 100 | "3: movl $-1,%[err]\n" |
| 101 | " jmp 2b\n" |
| 102 | ".previous\n" |
| 103 | _ASM_EXTABLE(1b, 3b) |
| 104 | : [err] "=r" (err) |
| 105 | : [fx] "m" (*fx), "0" (0)); |
| 106 | #else |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 107 | asm volatile("1: rex64/fxrstor (%[fx])\n\t" |
| 108 | "2:\n" |
| 109 | ".section .fixup,\"ax\"\n" |
| 110 | "3: movl $-1,%[err]\n" |
| 111 | " jmp 2b\n" |
| 112 | ".previous\n" |
Joe Perches | affe663 | 2008-03-23 01:02:18 -0700 | [diff] [blame] | 113 | _ASM_EXTABLE(1b, 3b) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 114 | : [err] "=r" (err) |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 115 | : [fx] "R" (fx), "m" (*fx), "0" (0)); |
H. Peter Anvin | fd35fbc | 2010-10-22 15:33:38 -0700 | [diff] [blame] | 116 | #endif |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 117 | return err; |
| 118 | } |
| 119 | |
Suresh Siddha | c37b5ef | 2008-07-29 10:29:25 -0700 | [diff] [blame] | 120 | static inline int fxsave_user(struct i387_fxsave_struct __user *fx) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 121 | { |
| 122 | int err; |
| 123 | |
Suresh Siddha | 8e221b6 | 2010-06-22 16:23:37 -0700 | [diff] [blame] | 124 | /* |
| 125 | * Clear the bytes not touched by the fxsave and reserved |
| 126 | * for the SW usage. |
| 127 | */ |
| 128 | err = __clear_user(&fx->sw_reserved, |
| 129 | sizeof(struct _fpx_sw_bytes)); |
| 130 | if (unlikely(err)) |
| 131 | return -EFAULT; |
| 132 | |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 133 | /* See comment in fxsave() below. */ |
H. Peter Anvin | fd35fbc | 2010-10-22 15:33:38 -0700 | [diff] [blame] | 134 | #ifdef CONFIG_AS_FXSAVEQ |
| 135 | asm volatile("1: fxsaveq %[fx]\n\t" |
| 136 | "2:\n" |
| 137 | ".section .fixup,\"ax\"\n" |
| 138 | "3: movl $-1,%[err]\n" |
| 139 | " jmp 2b\n" |
| 140 | ".previous\n" |
| 141 | _ASM_EXTABLE(1b, 3b) |
| 142 | : [err] "=r" (err), [fx] "=m" (*fx) |
| 143 | : "0" (0)); |
| 144 | #else |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 145 | asm volatile("1: rex64/fxsave (%[fx])\n\t" |
| 146 | "2:\n" |
| 147 | ".section .fixup,\"ax\"\n" |
| 148 | "3: movl $-1,%[err]\n" |
| 149 | " jmp 2b\n" |
| 150 | ".previous\n" |
Joe Perches | affe663 | 2008-03-23 01:02:18 -0700 | [diff] [blame] | 151 | _ASM_EXTABLE(1b, 3b) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 152 | : [err] "=r" (err), "=m" (*fx) |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 153 | : [fx] "R" (fx), "0" (0)); |
H. Peter Anvin | fd35fbc | 2010-10-22 15:33:38 -0700 | [diff] [blame] | 154 | #endif |
Joe Perches | affe663 | 2008-03-23 01:02:18 -0700 | [diff] [blame] | 155 | if (unlikely(err) && |
| 156 | __clear_user(fx, sizeof(struct i387_fxsave_struct))) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 157 | err = -EFAULT; |
| 158 | /* No need to clear here because the caller clears USED_MATH */ |
| 159 | return err; |
| 160 | } |
| 161 | |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 162 | static inline void fpu_fxsave(struct fpu *fpu) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 163 | { |
| 164 | /* Using "rex64; fxsave %0" is broken because, if the memory operand |
| 165 | uses any extended registers for addressing, a second REX prefix |
| 166 | will be generated (to the assembler, rex64 followed by semicolon |
| 167 | is a separate instruction), and hence the 64-bitness is lost. */ |
Linus Torvalds | b6f7e38 | 2010-10-21 13:34:32 -0700 | [diff] [blame] | 168 | |
H. Peter Anvin | d7acb92 | 2010-10-13 16:00:29 -0700 | [diff] [blame] | 169 | #ifdef CONFIG_AS_FXSAVEQ |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 170 | /* Using "fxsaveq %0" would be the ideal choice, but is only supported |
| 171 | starting with gas 2.16. */ |
| 172 | __asm__ __volatile__("fxsaveq %0" |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 173 | : "=m" (fpu->state->fxsave)); |
Linus Torvalds | b6f7e38 | 2010-10-21 13:34:32 -0700 | [diff] [blame] | 174 | #else |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 175 | /* Using, as a workaround, the properly prefixed form below isn't |
| 176 | accepted by any binutils version so far released, complaining that |
| 177 | the same type of prefix is used twice if an extended register is |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 178 | needed for addressing (fix submitted to mainline 2005-11-21). |
| 179 | asm volatile("rex64/fxsave %0" |
| 180 | : "=m" (fpu->state->fxsave)); |
| 181 | This, however, we can work around by forcing the compiler to select |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 182 | an addressing mode that doesn't require extended registers. */ |
Brian Gerst | 8202413 | 2010-09-03 21:17:14 -0400 | [diff] [blame] | 183 | asm volatile("rex64/fxsave (%[fx])" |
| 184 | : "=m" (fpu->state->fxsave) |
| 185 | : [fx] "R" (&fpu->state->fxsave)); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 186 | #endif |
Suresh Siddha | b359e8a | 2008-07-29 10:29:20 -0700 | [diff] [blame] | 187 | } |
| 188 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 189 | #else /* CONFIG_X86_32 */ |
| 190 | |
Jiri Slaby | 34ba476 | 2009-04-08 13:31:59 +0200 | [diff] [blame] | 191 | /* perform fxrstor iff the processor has extended states, otherwise frstor */ |
| 192 | static inline int fxrstor_checking(struct i387_fxsave_struct *fx) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 193 | { |
| 194 | /* |
| 195 | * The "nop" is needed to make the instructions the same |
| 196 | * length. |
| 197 | */ |
| 198 | alternative_input( |
| 199 | "nop ; frstor %1", |
| 200 | "fxrstor %1", |
| 201 | X86_FEATURE_FXSR, |
Jiri Slaby | 34ba476 | 2009-04-08 13:31:59 +0200 | [diff] [blame] | 202 | "m" (*fx)); |
| 203 | |
Jiri Slaby | fcb2ac5 | 2009-04-08 13:31:58 +0200 | [diff] [blame] | 204 | return 0; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 205 | } |
| 206 | |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 207 | static inline void fpu_fxsave(struct fpu *fpu) |
| 208 | { |
| 209 | asm volatile("fxsave %[fx]" |
| 210 | : [fx] "=m" (fpu->state->fxsave)); |
| 211 | } |
| 212 | |
Brian Gerst | b2b57fe | 2010-09-03 21:17:19 -0400 | [diff] [blame] | 213 | #endif /* CONFIG_X86_64 */ |
| 214 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 215 | /* |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 216 | * These must be called with preempt disabled. Returns |
| 217 | * 'true' if the FPU state is still intact. |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 218 | */ |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 219 | static inline int fpu_save_init(struct fpu *fpu) |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 220 | { |
Avi Kivity | c9ad488 | 2010-05-06 11:45:45 +0300 | [diff] [blame] | 221 | if (use_xsave()) { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 222 | fpu_xsave(fpu); |
Suresh Siddha | b359e8a | 2008-07-29 10:29:20 -0700 | [diff] [blame] | 223 | |
| 224 | /* |
| 225 | * xsave header may indicate the init state of the FP. |
| 226 | */ |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 227 | if (!(fpu->state->xsave.xsave_hdr.xstate_bv & XSTATE_FP)) |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 228 | return 1; |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 229 | } else if (use_fxsr()) { |
| 230 | fpu_fxsave(fpu); |
| 231 | } else { |
Hans Rosenfeld | f994d99 | 2011-04-06 18:06:43 +0200 | [diff] [blame] | 232 | asm volatile("fnsave %[fx]; fwait" |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 233 | : [fx] "=m" (fpu->state->fsave)); |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 234 | return 0; |
Suresh Siddha | b359e8a | 2008-07-29 10:29:20 -0700 | [diff] [blame] | 235 | } |
| 236 | |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 237 | /* |
| 238 | * If exceptions are pending, we need to clear them so |
| 239 | * that we don't randomly get exceptions later. |
| 240 | * |
| 241 | * FIXME! Is this perhaps only true for the old-style |
| 242 | * irq13 case? Maybe we could leave the x87 state |
| 243 | * intact otherwise? |
| 244 | */ |
| 245 | if (unlikely(fpu->state->fxsave.swd & X87_FSW_ES)) { |
Brian Gerst | 58a992b | 2010-09-03 21:17:18 -0400 | [diff] [blame] | 246 | asm volatile("fnclex"); |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 247 | return 0; |
| 248 | } |
| 249 | return 1; |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 250 | } |
| 251 | |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 252 | static inline int __save_init_fpu(struct task_struct *tsk) |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 253 | { |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 254 | return fpu_save_init(&tsk->thread.fpu); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 255 | } |
| 256 | |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 257 | static inline int fpu_fxrstor_checking(struct fpu *fpu) |
| 258 | { |
| 259 | return fxrstor_checking(&fpu->state->fxsave); |
| 260 | } |
| 261 | |
| 262 | static inline int fpu_restore_checking(struct fpu *fpu) |
| 263 | { |
| 264 | if (use_xsave()) |
| 265 | return fpu_xrstor_checking(fpu); |
| 266 | else |
| 267 | return fpu_fxrstor_checking(fpu); |
| 268 | } |
| 269 | |
Jiri Slaby | 34ba476 | 2009-04-08 13:31:59 +0200 | [diff] [blame] | 270 | static inline int restore_fpu_checking(struct task_struct *tsk) |
| 271 | { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 272 | return fpu_restore_checking(&tsk->thread.fpu); |
Jiri Slaby | 34ba476 | 2009-04-08 13:31:59 +0200 | [diff] [blame] | 273 | } |
| 274 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 275 | /* |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 276 | * Software FPU state helpers. Careful: these need to |
| 277 | * be preemption protection *and* they need to be |
| 278 | * properly paired with the CR0.TS changes! |
| 279 | */ |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 280 | static inline int __thread_has_fpu(struct task_struct *tsk) |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 281 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 282 | return tsk->thread.has_fpu; |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 283 | } |
| 284 | |
| 285 | /* Must be paired with an 'stts' after! */ |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 286 | static inline void __thread_clear_has_fpu(struct task_struct *tsk) |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 287 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 288 | tsk->thread.has_fpu = 0; |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 289 | } |
| 290 | |
| 291 | /* Must be paired with a 'clts' before! */ |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 292 | static inline void __thread_set_has_fpu(struct task_struct *tsk) |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 293 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 294 | tsk->thread.has_fpu = 1; |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 295 | } |
| 296 | |
| 297 | /* |
| 298 | * Encapsulate the CR0.TS handling together with the |
| 299 | * software flag. |
| 300 | * |
| 301 | * These generally need preemption protection to work, |
| 302 | * do try to avoid using these on their own. |
| 303 | */ |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 304 | static inline void __thread_fpu_end(struct task_struct *tsk) |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 305 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 306 | __thread_clear_has_fpu(tsk); |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 307 | stts(); |
| 308 | } |
| 309 | |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 310 | static inline void __thread_fpu_begin(struct task_struct *tsk) |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 311 | { |
| 312 | clts(); |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 313 | __thread_set_has_fpu(tsk); |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 314 | } |
| 315 | |
| 316 | /* |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 317 | * FPU state switching for scheduling. |
| 318 | * |
| 319 | * This is a two-stage process: |
| 320 | * |
| 321 | * - switch_fpu_prepare() saves the old state and |
| 322 | * sets the new state of the CR0.TS bit. This is |
| 323 | * done within the context of the old process. |
| 324 | * |
| 325 | * - switch_fpu_finish() restores the new state as |
| 326 | * necessary. |
| 327 | */ |
| 328 | typedef struct { int preload; } fpu_switch_t; |
| 329 | |
| 330 | /* |
| 331 | * FIXME! We could do a totally lazy restore, but we need to |
| 332 | * add a per-cpu "this was the task that last touched the FPU |
| 333 | * on this CPU" variable, and the task needs to have a "I last |
| 334 | * touched the FPU on this CPU" and check them. |
| 335 | * |
| 336 | * We don't do that yet, so "fpu_lazy_restore()" always returns |
| 337 | * false, but some day.. |
| 338 | */ |
| 339 | #define fpu_lazy_restore(tsk) (0) |
| 340 | #define fpu_lazy_state_intact(tsk) do { } while (0) |
| 341 | |
| 342 | static inline fpu_switch_t switch_fpu_prepare(struct task_struct *old, struct task_struct *new) |
| 343 | { |
| 344 | fpu_switch_t fpu; |
| 345 | |
| 346 | fpu.preload = tsk_used_math(new) && new->fpu_counter > 5; |
| 347 | if (__thread_has_fpu(old)) { |
| 348 | if (__save_init_fpu(old)) |
| 349 | fpu_lazy_state_intact(old); |
| 350 | __thread_clear_has_fpu(old); |
| 351 | old->fpu_counter++; |
| 352 | |
| 353 | /* Don't change CR0.TS if we just switch! */ |
| 354 | if (fpu.preload) { |
| 355 | __thread_set_has_fpu(new); |
| 356 | prefetch(new->thread.fpu.state); |
| 357 | } else |
| 358 | stts(); |
| 359 | } else { |
| 360 | old->fpu_counter = 0; |
| 361 | if (fpu.preload) { |
| 362 | if (fpu_lazy_restore(new)) |
| 363 | fpu.preload = 0; |
| 364 | else |
| 365 | prefetch(new->thread.fpu.state); |
| 366 | __thread_fpu_begin(new); |
| 367 | } |
| 368 | } |
| 369 | return fpu; |
| 370 | } |
| 371 | |
| 372 | /* |
| 373 | * By the time this gets called, we've already cleared CR0.TS and |
| 374 | * given the process the FPU if we are going to preload the FPU |
| 375 | * state - all we need to do is to conditionally restore the register |
| 376 | * state itself. |
| 377 | */ |
| 378 | static inline void switch_fpu_finish(struct task_struct *new, fpu_switch_t fpu) |
| 379 | { |
| 380 | if (fpu.preload) |
| 381 | __math_state_restore(new); |
| 382 | } |
| 383 | |
| 384 | /* |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 385 | * Signal frame handlers... |
| 386 | */ |
Suresh Siddha | ab51370 | 2008-07-29 10:29:22 -0700 | [diff] [blame] | 387 | extern int save_i387_xstate(void __user *buf); |
| 388 | extern int restore_i387_xstate(void __user *buf); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 389 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 390 | static inline void __clear_fpu(struct task_struct *tsk) |
| 391 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 392 | if (__thread_has_fpu(tsk)) { |
Brian Gerst | 51115d4 | 2010-09-03 21:17:10 -0400 | [diff] [blame] | 393 | /* Ignore delayed exceptions from user space */ |
| 394 | asm volatile("1: fwait\n" |
| 395 | "2:\n" |
| 396 | _ASM_EXTABLE(1b, 2b)); |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 397 | __thread_fpu_end(tsk); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 398 | } |
| 399 | } |
| 400 | |
Linus Torvalds | 5b1cbac | 2012-02-13 13:56:14 -0800 | [diff] [blame] | 401 | /* |
| 402 | * Were we in an interrupt that interrupted kernel mode? |
| 403 | * |
| 404 | * We can do a kernel_fpu_begin/end() pair *ONLY* if that |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 405 | * pair does nothing at all: the thread must not have fpu (so |
Linus Torvalds | 5b1cbac | 2012-02-13 13:56:14 -0800 | [diff] [blame] | 406 | * that we don't try to save the FPU state), and TS must |
| 407 | * be set (so that the clts/stts pair does nothing that is |
| 408 | * visible in the interrupted kernel thread). |
| 409 | */ |
| 410 | static inline bool interrupted_kernel_fpu_idle(void) |
| 411 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 412 | return !__thread_has_fpu(current) && |
Linus Torvalds | 5b1cbac | 2012-02-13 13:56:14 -0800 | [diff] [blame] | 413 | (read_cr0() & X86_CR0_TS); |
| 414 | } |
| 415 | |
| 416 | /* |
| 417 | * Were we in user mode (or vm86 mode) when we were |
| 418 | * interrupted? |
| 419 | * |
| 420 | * Doing kernel_fpu_begin/end() is ok if we are running |
| 421 | * in an interrupt context from user mode - we'll just |
| 422 | * save the FPU state as required. |
| 423 | */ |
| 424 | static inline bool interrupted_user_mode(void) |
| 425 | { |
| 426 | struct pt_regs *regs = get_irq_regs(); |
| 427 | return regs && user_mode_vm(regs); |
| 428 | } |
| 429 | |
| 430 | /* |
| 431 | * Can we use the FPU in kernel mode with the |
| 432 | * whole "kernel_fpu_begin/end()" sequence? |
| 433 | * |
| 434 | * It's always ok in process context (ie "not interrupt") |
| 435 | * but it is sometimes ok even from an irq. |
| 436 | */ |
| 437 | static inline bool irq_fpu_usable(void) |
| 438 | { |
| 439 | return !in_interrupt() || |
| 440 | interrupted_user_mode() || |
| 441 | interrupted_kernel_fpu_idle(); |
| 442 | } |
| 443 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 444 | static inline void kernel_fpu_begin(void) |
| 445 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 446 | struct task_struct *me = current; |
Linus Torvalds | 5b1cbac | 2012-02-13 13:56:14 -0800 | [diff] [blame] | 447 | |
| 448 | WARN_ON_ONCE(!irq_fpu_usable()); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 449 | preempt_disable(); |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 450 | if (__thread_has_fpu(me)) { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 451 | __save_init_fpu(me); |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 452 | __thread_clear_has_fpu(me); |
Linus Torvalds | b6c6641 | 2012-02-16 12:22:48 -0800 | [diff] [blame] | 453 | /* We do 'stts()' in kernel_fpu_end() */ |
| 454 | } else |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 455 | clts(); |
| 456 | } |
| 457 | |
| 458 | static inline void kernel_fpu_end(void) |
| 459 | { |
| 460 | stts(); |
| 461 | preempt_enable(); |
| 462 | } |
| 463 | |
Suresh Siddha | e491401 | 2008-08-13 22:02:26 +1000 | [diff] [blame] | 464 | /* |
| 465 | * Some instructions like VIA's padlock instructions generate a spurious |
| 466 | * DNA fault but don't modify SSE registers. And these instructions |
Chuck Ebbert | 0b8c3d5 | 2009-06-09 10:40:50 -0400 | [diff] [blame] | 467 | * get used from interrupt context as well. To prevent these kernel instructions |
| 468 | * in interrupt context interacting wrongly with other user/kernel fpu usage, we |
Suresh Siddha | e491401 | 2008-08-13 22:02:26 +1000 | [diff] [blame] | 469 | * should use them only in the context of irq_ts_save/restore() |
| 470 | */ |
| 471 | static inline int irq_ts_save(void) |
| 472 | { |
| 473 | /* |
Chuck Ebbert | 0b8c3d5 | 2009-06-09 10:40:50 -0400 | [diff] [blame] | 474 | * If in process context and not atomic, we can take a spurious DNA fault. |
| 475 | * Otherwise, doing clts() in process context requires disabling preemption |
| 476 | * or some heavy lifting like kernel_fpu_begin() |
Suresh Siddha | e491401 | 2008-08-13 22:02:26 +1000 | [diff] [blame] | 477 | */ |
Chuck Ebbert | 0b8c3d5 | 2009-06-09 10:40:50 -0400 | [diff] [blame] | 478 | if (!in_atomic()) |
Suresh Siddha | e491401 | 2008-08-13 22:02:26 +1000 | [diff] [blame] | 479 | return 0; |
| 480 | |
| 481 | if (read_cr0() & X86_CR0_TS) { |
| 482 | clts(); |
| 483 | return 1; |
| 484 | } |
| 485 | |
| 486 | return 0; |
| 487 | } |
| 488 | |
| 489 | static inline void irq_ts_restore(int TS_state) |
| 490 | { |
| 491 | if (TS_state) |
| 492 | stts(); |
| 493 | } |
| 494 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 495 | /* |
Linus Torvalds | 15d8791 | 2012-02-16 09:15:04 -0800 | [diff] [blame] | 496 | * The question "does this thread have fpu access?" |
| 497 | * is slightly racy, since preemption could come in |
| 498 | * and revoke it immediately after the test. |
| 499 | * |
| 500 | * However, even in that very unlikely scenario, |
| 501 | * we can just assume we have FPU access - typically |
| 502 | * to save the FP state - we'll just take a #NM |
| 503 | * fault and get the FPU access back. |
| 504 | * |
| 505 | * The actual user_fpu_begin/end() functions |
| 506 | * need to be preemption-safe, though. |
| 507 | * |
| 508 | * NOTE! user_fpu_end() must be used only after you |
| 509 | * have saved the FP state, and user_fpu_begin() must |
| 510 | * be used only immediately before restoring it. |
| 511 | * These functions do not do any save/restore on |
| 512 | * their own. |
| 513 | */ |
| 514 | static inline int user_has_fpu(void) |
| 515 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 516 | return __thread_has_fpu(current); |
Linus Torvalds | 15d8791 | 2012-02-16 09:15:04 -0800 | [diff] [blame] | 517 | } |
| 518 | |
| 519 | static inline void user_fpu_end(void) |
| 520 | { |
| 521 | preempt_disable(); |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 522 | __thread_fpu_end(current); |
Linus Torvalds | 15d8791 | 2012-02-16 09:15:04 -0800 | [diff] [blame] | 523 | preempt_enable(); |
| 524 | } |
| 525 | |
| 526 | static inline void user_fpu_begin(void) |
| 527 | { |
| 528 | preempt_disable(); |
Linus Torvalds | 6d59d7a | 2012-02-16 13:33:12 -0800 | [diff] [blame] | 529 | if (!user_has_fpu()) |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 530 | __thread_fpu_begin(current); |
Linus Torvalds | 15d8791 | 2012-02-16 09:15:04 -0800 | [diff] [blame] | 531 | preempt_enable(); |
| 532 | } |
| 533 | |
| 534 | /* |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 535 | * These disable preemption on their own and are safe |
| 536 | */ |
| 537 | static inline void save_init_fpu(struct task_struct *tsk) |
| 538 | { |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 539 | WARN_ON_ONCE(!__thread_has_fpu(tsk)); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 540 | preempt_disable(); |
| 541 | __save_init_fpu(tsk); |
Linus Torvalds | f94edac | 2012-02-17 21:48:54 -0800 | [diff] [blame] | 542 | __thread_fpu_end(tsk); |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 543 | preempt_enable(); |
| 544 | } |
| 545 | |
| 546 | static inline void unlazy_fpu(struct task_struct *tsk) |
| 547 | { |
| 548 | preempt_disable(); |
Linus Torvalds | 34ddc81 | 2012-02-18 12:56:35 -0800 | [diff] [blame] | 549 | if (__thread_has_fpu(tsk)) { |
| 550 | __save_init_fpu(tsk); |
| 551 | __thread_fpu_end(tsk); |
| 552 | } else |
| 553 | tsk->fpu_counter = 0; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 554 | preempt_enable(); |
| 555 | } |
| 556 | |
| 557 | static inline void clear_fpu(struct task_struct *tsk) |
| 558 | { |
| 559 | preempt_disable(); |
| 560 | __clear_fpu(tsk); |
| 561 | preempt_enable(); |
| 562 | } |
| 563 | |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 564 | /* |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 565 | * i387 state interaction |
| 566 | */ |
| 567 | static inline unsigned short get_fpu_cwd(struct task_struct *tsk) |
| 568 | { |
| 569 | if (cpu_has_fxsr) { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 570 | return tsk->thread.fpu.state->fxsave.cwd; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 571 | } else { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 572 | return (unsigned short)tsk->thread.fpu.state->fsave.cwd; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 573 | } |
| 574 | } |
| 575 | |
| 576 | static inline unsigned short get_fpu_swd(struct task_struct *tsk) |
| 577 | { |
| 578 | if (cpu_has_fxsr) { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 579 | return tsk->thread.fpu.state->fxsave.swd; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 580 | } else { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 581 | return (unsigned short)tsk->thread.fpu.state->fsave.swd; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 582 | } |
| 583 | } |
| 584 | |
| 585 | static inline unsigned short get_fpu_mxcsr(struct task_struct *tsk) |
| 586 | { |
| 587 | if (cpu_has_xmm) { |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 588 | return tsk->thread.fpu.state->fxsave.mxcsr; |
Roland McGrath | 1eeaed7 | 2008-01-30 13:31:51 +0100 | [diff] [blame] | 589 | } else { |
| 590 | return MXCSR_DEFAULT; |
| 591 | } |
| 592 | } |
| 593 | |
Avi Kivity | 8660328 | 2010-05-06 11:45:46 +0300 | [diff] [blame] | 594 | static bool fpu_allocated(struct fpu *fpu) |
| 595 | { |
| 596 | return fpu->state != NULL; |
| 597 | } |
| 598 | |
| 599 | static inline int fpu_alloc(struct fpu *fpu) |
| 600 | { |
| 601 | if (fpu_allocated(fpu)) |
| 602 | return 0; |
| 603 | fpu->state = kmem_cache_alloc(task_xstate_cachep, GFP_KERNEL); |
| 604 | if (!fpu->state) |
| 605 | return -ENOMEM; |
| 606 | WARN_ON((unsigned long)fpu->state & 15); |
| 607 | return 0; |
| 608 | } |
| 609 | |
| 610 | static inline void fpu_free(struct fpu *fpu) |
| 611 | { |
| 612 | if (fpu->state) { |
| 613 | kmem_cache_free(task_xstate_cachep, fpu->state); |
| 614 | fpu->state = NULL; |
| 615 | } |
| 616 | } |
| 617 | |
| 618 | static inline void fpu_copy(struct fpu *dst, struct fpu *src) |
| 619 | { |
| 620 | memcpy(dst->state, src->state, xstate_size); |
| 621 | } |
| 622 | |
Sheng Yang | 5ee481d | 2010-05-17 17:22:23 +0800 | [diff] [blame] | 623 | extern void fpu_finit(struct fpu *fpu); |
| 624 | |
Herbert Xu | 3b0d659 | 2009-11-03 09:11:15 -0500 | [diff] [blame] | 625 | #endif /* __ASSEMBLY__ */ |
| 626 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 627 | #endif /* _ASM_X86_I387_H */ |