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_initiator_pfault_handler()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pfault | 4096-ptr_max |
| PARAM_VALUE | 1 | pfault->eq | 4096-ptr_max |
| PARAM_VALUE | 1 | pfault->type | 0-3 |
| PARAM_VALUE | 2 | qp | 1-u64max |
| PARAM_VALUE | 2 | qp->trans_qp.base.ubuffer.umem | 0,4096-u64max |
| PARAM_VALUE | 3 | wqe | 8590917070256906240 |
| PARAM_VALUE | 3 | *wqe | 4096-ptr_max |
| PARAM_VALUE | 4 | wqe_end | 1858619770958065664 |
| PARAM_VALUE | 4 | *wqe_end | 0 |
| PARAM_VALUE | 4 | *(*wqe_end) | 0 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | pfault | $1 |
| HALF_LOCKED2 | &pool->lock |