Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/mlx5/dm.c mlx5_ib_alloc_dm() -> handle_alloc_dm_sw_icm()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->device | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->device->ops.alloc_dm | 1-u64max |
| PARAM_VALUE | 1 | attr | 7426097319085764608 |
| PARAM_VALUE | 1 | attr->flags | 0 |
| PARAM_VALUE | 2 | attrs | 4096-ptr_max |
| PARAM_VALUE | 2 | attrs->context | 4096-ptr_max |
| PARAM_VALUE | 2 | attrs->context->device | 4096-ptr_max |
| PARAM_VALUE | 2 | attrs->context->device->ops.alloc_dm | 1-u64max |
| PARAM_VALUE | 3 | type | 1-4 |
| DATA_SOURCE | 0 | ctx | $1 |
| DATA_SOURCE | 1 | attr | $2 |
| DATA_SOURCE | 2 | attrs | $3 |