Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/mellanox/mlx5/core/cmd.c cmd_ent_put() -> cmd_free_ent()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ent | 4096-ptr_max |
| PARAM_VALUE | 0 | ent->cmd->alloc_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ent | (-1),672 |
| BUF_SIZE | 0 | ent | (-1),672 |
| BUF_SIZE | 0 | ent->cmd | (-1),1640 |
| BUF_SIZE | 0 | ent->in | (-1),56 |
| BUF_SIZE | 0 | ent->out | (-1),56 |
| BUF_SIZE | 0 | ent->uout | (-1)-2097152 |
| DATA_SOURCE | 0 | ent | $0 |
| NOSPEC | 0 | ent->in->len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ent->cmd->vars.log_stride | 0-15 |
| HOST_DATA | 0 | ent->cmd->vars.log_sz | 0-15[c] |
| USER_DATA | 0 | ent->in->len | 17-2097152[c] |
| USER_DATA | 0 | ent->out->len | 17-2097152[c] |
| USER_DATA | 0 | ent->page_queue | 0-1 |
| USER_DATA | 0 | ent->uout_size | 17-2097152[c] |
| USER_DATA | 0 | *ent->uout | s64min-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ent->in->len | |
| NO_OVERFLOW_SIMPLE | 0 | ent->out->len | |
| NO_OVERFLOW_SIMPLE | 0 | ent->uout_size | |
| USER_PTR | 0 | ent->uout | |
| HALF_LOCKED2 | &cmd->vars.sem |