Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/most/most_cdev.c comp_read() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
BUF_SIZE 0 mbo 0
CAPPED_DATA 0 mbo->processed_length 1
BIT_INFO 0 mbo 0x0,0x0
NOCHECK_CALL
LOCK2 &c->io_mutex
TYPE_LOCK (struct comp_channel)->io_mutex

drivers/most/most_cdev.c stop_channel() -> most_put_mbo()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &c->io_mutex
TYPE_LOCK (struct comp_channel)->io_mutex

drivers/most/most_snd.c audio_rx_completion() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
PARAM_VALUE 0 mbo->context 4096-ptr_max
PARAM_VALUE 0 mbo->ifp 4096-ptr_max
PARAM_VALUE 0 mbo->ifp->priv 4096-ptr_max
PARAM_VALUE 0 mbo->status 0
BUF_SIZE 0 mbo s32min-(-1),1-s32max
BUF_SIZE 0 mbo s32min-(-1),1-s32max
CAPPED_DATA 0 mbo->hdm_channel_id 1
CAPPED_DATA 0 mbo->ifp 1
DATA_SOURCE 0 mbo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mbo->processed_length 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 mbo->processed_length

drivers/staging/most/net/net.c comp_rx_data() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
PARAM_VALUE 0 mbo->context 4096-ptr_max
PARAM_VALUE 0 mbo->processed_length 9-u16max
PARAM_VALUE 0 mbo->status 0
BUF_SIZE 0 mbo s32min-(-1),1-s32max
BUF_SIZE 0 mbo s32min-(-1),1-s32max
CAPPED_DATA 0 mbo->hdm_channel_id 1
CAPPED_DATA 0 mbo->ifp 1
DATA_SOURCE 0 mbo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mbo->processed_length 9-u16max[c]
NO_OVERFLOW_SIMPLE 0 mbo->processed_length

drivers/staging/most/net/net.c most_nd_start_xmit() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
PARAM_VALUE 0 mbo->num_buffers_ptr 4096-ptr_max
DATA_SOURCE 0 mbo r most_get_mbo
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->tx_global_lock
HALF_LOCKED2 &txq->_xmit_lock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

drivers/most/core.c most_read_completion() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
PARAM_VALUE 0 mbo->context 4096-ptr_max
PARAM_VALUE 0 mbo->status 0
BUF_SIZE 0 mbo s32min-(-1),1-s32max
BUF_SIZE 0 mbo s32min-(-1),1-s32max
DATA_SOURCE 0 mbo $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mbo->processed_length 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 mbo->processed_length

drivers/staging/most/video/video.c comp_vdev_close() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vdev->v4l2_dev->mdev->req_queue_mutex

drivers/staging/most/video/video.c comp_vdev_read() -> most_put_mbo()

Type Parameter Key Value
PARAM_VALUE 0 mbo 4096-ptr_max
DATA_SOURCE 0 mbo r get_top_mbo
NOCHECK_CALL