Open Menu /

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() -> bcm_vk_append_pendq()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->msgq_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 chan->msgq_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 chan->msgq_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 chan->q_nr 1-u32max
PARAM_VALUE 2 entry 4096-ptr_max
PARAM_VALUE 2 entry->to_h_blks 1-256
PARAM_VALUE 2 entry->to_h_msg 4096-ptr_max
PARAM_VALUE 2 entry->to_h_msg->function_id 0-7,9-255
BUF_SIZE 2 entry->to_h_msg 16-4096
CAPPED_DATA 1 q_num 1
CAPPED_DATA 2 entry->to_h_blks 1
DATA_SOURCE 2 entry r bcm_vk_dequeue_pending
NOCHECK_CALL
HOST_DATA 0 chan->msgq_mutex.osq.tail.counter 0-s32max
HOST_DATA 0 chan->msgq_mutex.owner.counter s64min-s64max
HOST_DATA 0 chan->q_nr 1-3
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_vk_write() -> bcm_vk_append_pendq()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 1 q_num 0-2
PARAM_VALUE 2 entry 4096-ptr_max
PARAM_VALUE 2 entry->ctx 4096-ptr_max
PARAM_VALUE 2 entry->to_v_blks 0-402652928
PARAM_VALUE 2 entry->to_v_msg 4096-ptr_max
PARAM_VALUE 2 entry->usr_msg_id 0-4095
BUF_SIZE 2 entry 0-u64max
BUF_SIZE 2 entry->ctx s32min-(-2),1-s32max
DATA_SOURCE 1 q_num r get_q_num
DATA_SOURCE 2 entry r _kzalloc_noprof
NOCHECK_CALL
USER_DATA 2 entry->to_v_blks 0-330935456[c]