Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/core/verbs.c ib_check_mr_status() -> (struct ib_device_ops)->check_mr_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ibmr | 4096-ptr_max |
| PARAM_VALUE | 0 | ibmr->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ibmr->device->ops.check_mr_status | 1-u64max |
| PARAM_VALUE | 1 | check_mask | 1 |
| PARAM_VALUE | 2 | mr_status | 1092479404151816192,1092893429710921728,3472431844461879296,5936858853685370880,8342311851019468800 |
| DATA_SOURCE | 0 | ibmr | $0 |
| DATA_SOURCE | 1 | check_mask | $1 |
| DATA_SOURCE | 2 | mr_status | $2 |
| CONTAINER | 0 | -584-8-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING |