Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/bcm-vk/bcm_vk_msg.c bcm_vk_write() -> bcm_vk_get_msg_id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vk | 4096-ptr_max |
| PARAM_VALUE | 0 | vk->msgq_inited.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | vk->to_v_msg_chan.msgq | 4096-ptr_max |
| NO_OVERFLOW_SIMPLE | 0 | vk->ib_sgl_size |