diff options
author | John Hubbard <[email protected]> | 2019-03-04 11:46:45 -0800 |
---|---|---|
committer | Jason Gunthorpe <[email protected]> | 2019-03-04 16:41:31 -0400 |
commit | 75a3e6a3c129cddcc683538d8702c6ef998ec589 (patch) | |
tree | c8a7e9d9cead3a5fee71218e74f8f1f64d4cad89 /tools/perf/scripts/python/export-to-postgresql.py | |
parent | 4e69cf1fe2c52d189acdd06c1fd99cc258aba61f (diff) |
RDMA/umem: minor bug fix in error handling path
1. Bug fix: fix an off by one error in the code that cleans up if it fails
to dma-map a page, after having done a get_user_pages_remote() on a
range of pages.
2. Refinement: for that same cleanup code, release_pages() is better than
put_page() in a loop.
Signed-off-by: John Hubbard <[email protected]>
Signed-off-by: Ira Weiny <[email protected]>
Reviewed-by: Ira Weiny <[email protected]>
Acked-by: Leon Romanovsky <[email protected]>
Signed-off-by: Jason Gunthorpe <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions