Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_to_h_msg_dequeue() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| BUF_SIZE | 0 | msg | 16-4096 |
| BUF_SIZE | 0 | msg | 16-4096 |
| DATA_SOURCE | 0 | msg | r _kzalloc_noprof |
| LOCK2 | &chan->msgq_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct bcm_vk_msg_chan)->msgq_mutex |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_to_v_msg_enqueue() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_dequeue_pending() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &chan->pendq_lock | ||
| HALF_LOCKED2 | &chan->msgq_mutex | ||
| TYPE_LOCK | (struct bcm_vk_msg_chan)->pendq_lock |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_drain_all_pend() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_write() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_write() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_write() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_write() -> get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | msg | 4096-ptr_max |