Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mailbox/ti-msgmgr.c ti_msgmgr_probe() -> ti_msgmgr_queue_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-254 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->of_node | 1-u64max |
| PARAM_VALUE | 2 | np | 1-u64max |
| PARAM_VALUE | 3 | inst | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->chans | 1-u64max |
| PARAM_VALUE | 3 | inst->desc | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev->of_node | 1-u64max |
| PARAM_VALUE | 3 | inst->qinsts | 1-u64max |
| PARAM_VALUE | 3 | inst->queue_ctrl_region | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->queue_proxy_region | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->queue_state_debug_region | 4096-ptr_max |
| PARAM_VALUE | 4 | d | 4096-ptr_max |
| PARAM_VALUE | 4 | d->is_sproxy | 1 |
| PARAM_VALUE | 4 | d->num_valid_queues | s32min-(-1),1-255 |
| PARAM_VALUE | 5 | qd | 4663109431929827328 |
| PARAM_VALUE | 5 | qd->proxy_id | 0-254 |
| PARAM_VALUE | 5 | qd->queue_id | 0 |
| PARAM_VALUE | 6 | qinst | 1-u64max |
| PARAM_VALUE | 6 | qinst->chan | 0,4096-ptr_max |
| PARAM_VALUE | 6 | qinst->irq | (-22),0 |
| PARAM_VALUE | 6 | qinst->proxy_id | 0 |
| PARAM_VALUE | 6 | qinst->queue_id | 0 |
| PARAM_VALUE | 7 | chan | 1-u64max |
| PARAM_VALUE | 7 | chan->con_priv | 0,4096-ptr_max |
| BUF_SIZE | 1 | dev | 1616 |
| BUF_SIZE | 3 | inst | 288 |
| BUF_SIZE | 3 | inst->chans | 0-u64max |
| BUF_SIZE | 3 | inst->dev | 1616 |
| BUF_SIZE | 3 | inst->qinsts | 0-u64max |
| BUF_SIZE | 6 | qinst | 0-u64max |
| BUF_SIZE | 7 | chan | 0-u64max |
| CAPPED_DATA | 0 | idx | 1 |
| CAPPED_DATA | 3 | inst->num_valid_queues | 1 |
| DATA_SOURCE | 3 | inst | r devm_kzalloc |
| DATA_SOURCE | 4 | d | r device_get_match_data |
| PARAM_COMPARE | 0 | idx | < $4->queue_count |
| PARAM_COMPARE | 4 | d->queue_count | > $0 |
| MEM_ZERO | 3 | inst | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | idx | |
| NO_OVERFLOW_SIMPLE | 5 | qd->proxy_id | |
| NO_OVERFLOW_SIMPLE | 6 | qinst->proxy_id | |
| UNITS | 0 | idx | unit_array_size |
| UNITS | 2 | np | unit_byte |
drivers/mailbox/ti-msgmgr.c ti_msgmgr_probe() -> ti_msgmgr_queue_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idx | 0-254 |
| PARAM_VALUE | 1 | dev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | dev->of_node | 1-u64max |
| PARAM_VALUE | 2 | np | 1-u64max |
| PARAM_VALUE | 3 | inst | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->chans | 1-u64max |
| PARAM_VALUE | 3 | inst->desc | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->dev->of_node | 1-u64max |
| PARAM_VALUE | 3 | inst->qinsts | 1-u64max |
| PARAM_VALUE | 3 | inst->queue_ctrl_region | 0 |
| PARAM_VALUE | 3 | inst->queue_proxy_region | 4096-ptr_max |
| PARAM_VALUE | 3 | inst->queue_state_debug_region | 4096-ptr_max |
| PARAM_VALUE | 4 | d | 4096-ptr_max |
| PARAM_VALUE | 4 | d->is_sproxy | 0 |
| PARAM_VALUE | 4 | d->num_valid_queues | s32min-(-1),1-255 |
| PARAM_VALUE | 4 | d->valid_queues->queue_id | 0-3,5,56-61 |
| PARAM_VALUE | 5 | qd->queue_id | 0-3,5,56-61 |
| PARAM_VALUE | 6 | qinst | 1-u64max |
| PARAM_VALUE | 6 | qinst->chan | 0,4096-ptr_max |
| PARAM_VALUE | 6 | qinst->irq | (-22),0 |
| PARAM_VALUE | 6 | qinst->proxy_id | 0-254 |
| PARAM_VALUE | 6 | qinst->queue_id | 0-3,5,56-61 |
| PARAM_VALUE | 7 | chan | 1-u64max |
| PARAM_VALUE | 7 | chan->con_priv | 0,4096-ptr_max |
| BUF_SIZE | 1 | dev | 1616 |
| BUF_SIZE | 3 | inst | 288 |
| BUF_SIZE | 3 | inst->chans | 0-u64max |
| BUF_SIZE | 3 | inst->dev | 1616 |
| BUF_SIZE | 3 | inst->qinsts | 0-u64max |
| BUF_SIZE | 6 | qinst | 0-u64max |
| BUF_SIZE | 7 | chan | 0-u64max |
| CAPPED_DATA | 0 | idx | 1 |
| CAPPED_DATA | 3 | inst->num_valid_queues | 1 |
| DATA_SOURCE | 3 | inst | r devm_kzalloc |
| DATA_SOURCE | 4 | d | r device_get_match_data |
| FUZZY_MAX | 6 | qinst->proxy_id | 0 |
| FUZZY_MAX | 6 | qinst->queue_id | 0 |
| PARAM_COMPARE | 0 | idx | < $4->queue_count |
| PARAM_COMPARE | 4 | d->queue_count | > $0 |
| MEM_ZERO | 3 | inst | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | idx | |
| UNITS | 0 | idx | unit_array_size |
| UNITS | 2 | np | unit_byte |