Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/mei/client.c mei_cl_dma_alloc_and_map() -> mei_cl_dma_alloc()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->dev 4096-ptr_max
PARAM_VALUE 0 cl->dev->hbm_f_cd_supported 1
PARAM_VALUE 0 cl->dev->parent 4096-ptr_max
PARAM_VALUE 0 cl->dev->parent->power.request 0-4
PARAM_VALUE 0 cl->dev->parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 cl->dev->parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 cl->dma_mapped 0
PARAM_VALUE 0 cl->state 1-2,4-u32max
PARAM_VALUE 1 buf_id 1-255
PARAM_VALUE 2 size 1-u64max
DATA_SOURCE 0 cl $0
DATA_SOURCE 1 buf_id $2
DATA_SOURCE 2 size $3
BIT_INFO 2 size 0x0,0xfffffffffffff000
BIT_INFO 2 size 0x0,0xfffffffffffff000
LOCK2 &bus->device_lock
TYPE_LOCK (struct mei_device)->device_lock