.. | .. |
---|
251 | 251 | break; |
---|
252 | 252 | case 024: /* fldcw */ |
---|
253 | 253 | RE_ENTRANT_CHECK_OFF; |
---|
254 | | - FPU_access_ok(VERIFY_READ, data_address, 2); |
---|
| 254 | + FPU_access_ok(data_address, 2); |
---|
255 | 255 | FPU_get_user(control_word, |
---|
256 | 256 | (unsigned short __user *)data_address); |
---|
257 | 257 | RE_ENTRANT_CHECK_ON; |
---|
.. | .. |
---|
291 | 291 | break; |
---|
292 | 292 | case 034: /* fstcw m16int */ |
---|
293 | 293 | RE_ENTRANT_CHECK_OFF; |
---|
294 | | - FPU_access_ok(VERIFY_WRITE, data_address, 2); |
---|
| 294 | + FPU_access_ok(data_address, 2); |
---|
295 | 295 | FPU_put_user(control_word, |
---|
296 | 296 | (unsigned short __user *)data_address); |
---|
297 | 297 | RE_ENTRANT_CHECK_ON; |
---|
.. | .. |
---|
305 | 305 | break; |
---|
306 | 306 | case 036: /* fstsw m2byte */ |
---|
307 | 307 | RE_ENTRANT_CHECK_OFF; |
---|
308 | | - FPU_access_ok(VERIFY_WRITE, data_address, 2); |
---|
| 308 | + FPU_access_ok(data_address, 2); |
---|
309 | 309 | FPU_put_user(status_word(), |
---|
310 | 310 | (unsigned short __user *)data_address); |
---|
311 | 311 | RE_ENTRANT_CHECK_ON; |
---|