Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/connector/connector.c cn_call_callback() -> cn_queue_release_callback()

Type Parameter Key Value
PARAM_VALUE 0 cbq 4096-ptr_max
CAPPED_DATA 0 cbq->id.id.idx 1
CAPPED_DATA 0 cbq->id.id.val 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

drivers/connector/cn_queue.c cn_queue_add_callback() -> cn_queue_release_callback()

Type Parameter Key Value
PARAM_VALUE 0 cbq 4096-ptr_max
PARAM_VALUE 0 cbq->id.id.idx 1,3-4,7,9-10,14
PARAM_VALUE 0 cbq->id.id.val 0-s32max
PARAM_VALUE 0 cbq->pdev 4096-ptr_max
PARAM_VALUE 0 cbq->refcnt.refs.counter 1
BUF_SIZE 0 cbq 88
CAPPED_DATA 0 cbq->id.id.idx 1
DATA_SOURCE 0 cbq r cn_queue_alloc_callback_entry
STR_LEN 0 cbq->pdev (-1),2,7-8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/connector/cn_queue.c cn_queue_del_callback() -> cn_queue_release_callback()

Type Parameter Key Value
PARAM_VALUE 0 cbq 4096-ptr_max
PARAM_VALUE 0 cbq->id.id.idx 1-u32max
CAPPED_DATA 0 cbq->id.id.idx 1
CAPPED_DATA 0 cbq->id.id.val 1
CAPPED_DATA 0 &cbq->callback_entry 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL