diff options
| author | Leon Romanovsky <[email protected]> | 2019-02-25 08:56:14 +0200 |
|---|---|---|
| committer | Jason Gunthorpe <[email protected]> | 2019-04-04 08:28:59 -0300 |
| commit | 0f51427bd0976fc4824ca16e73b7985f224cbbf8 (patch) | |
| tree | 6aa4943e6b8b6d642e2ec80d16b2df4c52466c69 /tools/perf/scripts/python/sched-migration.py | |
| parent | 1c726c44210f8d2185cf61adfea850d1b87e75ab (diff) | |
RDMA/mlx5: Cleanup WQE page fault handler
Refactor the page fault handler to be more readable and extensible, this
cleanup was triggered by the error reported below. The code structure made
it unclear to the automatic tools to identify that such a flow is not
possible in real life because "requestor != NULL" means that "qp != NULL"
too.
drivers/infiniband/hw/mlx5/odp.c:1254 mlx5_ib_mr_wqe_pfault_handler()
error: we previously assumed 'qp' could be null (see line 1230)
Fixes: 08100fad5cac ("IB/mlx5: Add ODP SRQ support")
Reported-by: Dan Carpenter <[email protected]>
Reviewed-by: Moni Shoua <[email protected]>
Signed-off-by: Leon Romanovsky <[email protected]>
Signed-off-by: Jason Gunthorpe <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/sched-migration.py')
0 files changed, 0 insertions, 0 deletions