Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/mei/dma-ring.c mei_dma_ring_read() -> mei_dma_copy_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dr_dscr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 3804419461616164864,7116780837857648640,7173419946591674368 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 226425921477955584,2863643223331184640,3620187017776328704 |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 406782190215454720,636933006306930688,2567988083355525120 |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 2497886220422848512,3581734430787620864,7640952985142583296 |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| CAPPED_DATA | 2 | offset | 1 |
| CAPPED_DATA | 3 | n | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | buf | unit_byte |
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/misc/mei/dma-ring.c mei_dma_ring_read() -> mei_dma_copy_from()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->dr_dscr | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dev->me_clients_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dev->ops->host_is_ready | 3804419461616164864,7116780837857648640,7173419946591674368 |
| PARAM_VALUE | 0 | dev->ops->hw_is_ready | 226425921477955584,2863643223331184640,3620187017776328704 |
| PARAM_VALUE | 0 | dev->ops->rdbuf_full_slots | 406782190215454720,636933006306930688,2567988083355525120 |
| PARAM_VALUE | 0 | dev->ops->read_hdr | 2497886220422848512,3581734430787620864,7640952985142583296 |
| CAPPED_DATA | 2 | offset | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | buf | unit_byte |
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock |