Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/rpmsg/qcom_smd.c qcom_smd_channel_close() -> qcom_smd_channel_reset()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->bounce_buffer 0
PARAM_VALUE 0 channel->qsept 4096-ptr_max
PARAM_VALUE 0 channel->qsept->ept.cb 0
PARAM_VALUE 0 channel->recv_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->state 0-2
CAPPED_DATA 0 channel->state 1
DATA_SOURCE 0 channel $0
FUZZY_MAX 0 channel->state 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &eptdev->ept_lock
HALF_LOCKED2 &port->ops_lock

drivers/rpmsg/qcom_smd.c qcom_smd_create_channel() -> qcom_smd_channel_reset()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->edge 4096-ptr_max
PARAM_VALUE 0 channel->edge->edge_id 0-255
PARAM_VALUE 0 channel->fblockread_event.head.next 4096-ptr_max
PARAM_VALUE 0 channel->fblockread_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 channel->fblockread_event.head.prev 4096-ptr_max
PARAM_VALUE 0 channel->fblockread_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 channel->fblockread_event.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 channel->info 4096-ptr_max
PARAM_VALUE 0 channel->name 4096-ptr_max
PARAM_VALUE 0 channel->state_change_event.head.next 4096-ptr_max
PARAM_VALUE 0 channel->state_change_event.head.next->next 4096-ptr_max
PARAM_VALUE 0 channel->state_change_event.head.prev 4096-ptr_max
PARAM_VALUE 0 channel->state_change_event.head.prev->next 4096-ptr_max
PARAM_VALUE 0 channel->state_change_event.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 channel->tx_fifo 4096-ptr_max
BUF_SIZE 0 channel 440
CAPPED_DATA 0 channel->edge->edge_id 1
DATA_SOURCE 0 channel r _kzalloc_noprof
NOCHECK_CALL
HALF_LOCKED2 &pool->lock