diff options
| author | Al Viro <[email protected]> | 2020-05-07 21:39:29 -0400 |
|---|---|---|
| committer | Al Viro <[email protected]> | 2020-05-29 11:06:32 -0400 |
| commit | fd8ec4dd4a79d5ad51d31d4a7664b5f82d108316 (patch) | |
| tree | 77877cf8b122207c9250f8285927e762d50ca65f /scripts/gdb/linux/rbtree.py | |
| parent | fe6bb59f4dd693ffb678224fe78fc69dda163c46 (diff) | |
hfi1: get rid of pointless access_ok()
pin_user_pages_fast() doesn't need that from its caller.
NB: only reachable from ->ioctl(), and only under USER_DS
Signed-off-by: Al Viro <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/rbtree.py')
0 files changed, 0 insertions, 0 deletions