Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/mei/bus.c __mei_cl_recv() -> mei_cl_del_rd_completed()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->dev 4096-ptr_max
PARAM_VALUE 0 cl->dev->dev_state 3,6
PARAM_VALUE 0 cl->dev->device_lock.dep_map->name 0-255
PARAM_VALUE 0 cl->dev->device_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cl->dev->device_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.owner (-1)
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cl->dev->ops->read 4096-ptr_max
PARAM_VALUE 0 cl->me_cl->props.protocol_version 0,2
PARAM_VALUE 0 cl->rd_completed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 cb 4096-ptr_max
PARAM_VALUE 1 cb->ext_hdr 0,4096-ptr_max
BUF_SIZE 0 cl (-1),608
BUF_SIZE 0 cl (-1),608
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 cb r mei_cl_read_cb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &bus->device_lock
HALF_LOCKED2 &bus->cl_bus_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &pxp->tee_mutex
TYPE_LOCK (struct mei_device)->device_lock

drivers/misc/mei/main.c mei_read() -> mei_cl_del_rd_completed()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->dev 4096-ptr_max
PARAM_VALUE 0 cl->dev->dev_state 3
PARAM_VALUE 0 cl->dev->device_lock.dep_map->name 0-255
PARAM_VALUE 0 cl->dev->device_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 cl->dev->device_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 cl->dev->device_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.owner (-1)
PARAM_VALUE 0 cl->dev->device_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 cl->rd_completed_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cl->state 3
PARAM_VALUE 1 cb 4096-ptr_max
BUF_SIZE 0 cl s32min-(-2),1-s32max
BUF_SIZE 0 cl s32min-(-2),1-s32max
DATA_SOURCE 1 cb r mei_cl_read_cb
NOCHECK_CALL
LOCK2 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock