Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/odp.c mlx5_ib_mr_wqe_pfault_handler() -> mlx5_ib_mr_responder_pfault_handler_srq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | srq | 4096-ptr_max |
| PARAM_VALUE | 1 | srq->umem | 4096-ptr_max |
| PARAM_VALUE | 2 | wqe | 8590917070256906240 |
| PARAM_VALUE | 2 | *wqe | 4096-ptr_max |
| PARAM_VALUE | 3 | wqe_end | 1858619770958065664 |
| PARAM_VALUE | 3 | *wqe_end | 0 |
| PARAM_VALUE | 3 | *(*wqe_end) | 0 |
| PARAM_VALUE | 4 | wqe_length | 0-4096 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | srq | r res_to_srq |
| HALF_LOCKED2 | &pool->lock |