| .. | .. |
|---|
| 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 */ |
|---|