| .. | .. |
|---|
| 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; |
|---|