Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/msm/disp/mdp5/mdp5_smp.c mdp5_smp_assign() -> smp_request_block()

Type Parameter Key Value
PARAM_VALUE 0 smp 4096-ptr_max
PARAM_VALUE 0 smp->blk_cnt 0,7-8,10,22,44
PARAM_VALUE 0 smp->dev 4096-ptr_max
PARAM_VALUE 0 smp->dev->dev_private 4096-ptr_max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 2 cid 0-24
PARAM_VALUE 3 nblks 1-255
DATA_SOURCE 0 smp $0
DATA_SOURCE 1 state $1
DATA_SOURCE 2 cid r pipe2client
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex
HALF_LOCKED2 &state->dev->mode_config.connection_mutex.mutex