Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/platform/mediatek/mdp3/mtk-mdp3-cmdq.c mdp_auto_release_work() -> __get_mutex()

Type Parameter Key Value
PARAM_VALUE 0 mdp_dev 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
UNITS 0 mdp_dev unit_byte
HALF_LOCKED2 &pool->lock

drivers/media/platform/mediatek/mdp3/mtk-mdp3-cmdq.c mdp_cmdq_prepare() -> __get_mutex()

Type Parameter Key Value
PARAM_VALUE 0 mdp_dev 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
CAPPED_DATA 0 mdp_dev->mdp_data->pp_used 1
CAPPED_DATA 0 mdp_dev->vpu.config_size 1
CAPPED_DATA 0 mdp_dev->vpu.lock 1
DATA_SOURCE 0 mdp_dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mdp_dev unit_byte
HALF_LOCKED2 &pool->lock

drivers/media/platform/mediatek/mdp3/mtk-mdp3-cmdq.c mdp_handle_cmdq_callback() -> __get_mutex()

Type Parameter Key Value
PARAM_VALUE 0 mdp_dev 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mdp_dev unit_byte
HALF_LOCKED2 &chan->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &thread->chan->lock
HALF_LOCKED2 flags

drivers/media/platform/mediatek/mdp3/mtk-mdp3-cmdq.c mdp_path_subfrm_require() -> __get_mutex()

Type Parameter Key Value
PARAM_VALUE 0 mdp_dev 4096-ptr_max
PARAM_VALUE 1 p 3170544414235598848
CAPPED_DATA 0 mdp_dev->vpu.config_size 1
CAPPED_DATA 0 mdp_dev->vpu.param_size 1
DATA_SOURCE 1 p $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.config_size
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.param_size
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.work_size
UNITS 0 mdp_dev unit_byte
HALF_LOCKED2 &pool->lock

drivers/media/platform/mediatek/mdp3/mtk-mdp3-cmdq.c mdp_path_subfrm_run() -> __get_mutex()

Type Parameter Key Value
PARAM_VALUE 0 mdp_dev 4096-ptr_max
PARAM_VALUE 1 p 3170544414235598848
PARAM_VALUE 1 p->mutex_id 0-4294967294
CAPPED_DATA 0 mdp_dev->vpu.config_size 1
CAPPED_DATA 0 mdp_dev->vpu.param_size 1
DATA_SOURCE 1 p $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.config_size
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.param_size
NO_OVERFLOW_SIMPLE 0 mdp_dev->vpu.work_size
UNITS 0 mdp_dev unit_byte
HALF_LOCKED2 &pool->lock