.. | .. |
---|
202 | 202 | kargs.ctx = (uintptr_t)session_data; |
---|
203 | 203 | |
---|
204 | 204 | /* Check if we can access the buffers */ |
---|
205 | | - if (!access_ok(VERIFY_WRITE, (const void *)(uintptr_t)kargs.dest, kargs.size) || |
---|
206 | | - !access_ok(VERIFY_READ, (const void *)(uintptr_t)kargs.src, kargs.size)) { |
---|
| 205 | + if (!access_ok((const void *)(uintptr_t)kargs.dest, kargs.size) || |
---|
| 206 | + !access_ok((const void *)(uintptr_t)kargs.src, kargs.size)) { |
---|
207 | 207 | return -EINVAL; |
---|
208 | 208 | } |
---|
209 | 209 | |
---|
.. | .. |
---|
261 | 261 | goto err_exit; |
---|
262 | 262 | |
---|
263 | 263 | user_buffer = (void __user *)(uintptr_t)kargs.buffer; |
---|
264 | | - if (!access_ok(VERIFY_WRITE, user_buffer, kargs.size)) |
---|
| 264 | + if (!access_ok(user_buffer, kargs.size)) |
---|
265 | 265 | goto err_exit; |
---|
266 | 266 | |
---|
267 | 267 | /* allocate temporary buffer (kernel side) to store mmu page table info */ |
---|