Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/mei/client.c mei_write_message() -> (struct mei_hw_ops)->write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->hbuf_depth 4096-ptr_max
PARAM_VALUE 0 dev->ops->hbuf_free_slots 4096-ptr_max
PARAM_VALUE 0 dev->ops->pg_state 4096-ptr_max
PARAM_VALUE 0 dev->parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 hdr 4096-ptr_max
BUF_SIZE 1 hdr 4,8-s32max
BUF_SIZE 1 hdr 4,8-s32max
BUF_SIZE 3 data (-1)-0,4-s32max
BUF_SIZE 3 data (-1)-0,4-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 hdr $1
DATA_SOURCE 2 hdr_len $2
DATA_SOURCE 3 data $3
DATA_SOURCE 4 data_len $4
CONTAINER 0 -136-6048+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 data_len 1-1000000000[c]
USER_PTR 3 data
HALF_LOCKED2 &dev->device_lock

drivers/misc/mei/hbm.c mei_write_message() -> (struct mei_hw_ops)->write()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->dev.power.wakeirq->status 0-4294967295
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 4096-ptr_max
PARAM_VALUE 0 dev->ops->fw_status 1892171916109312000,4618666058892304384,7593493386518028288
PARAM_VALUE 0 dev->ops->hbuf_depth 4493609588499693568,6397769098652545024,8397168056251473920
PARAM_VALUE 0 dev->ops->hbuf_free_slots 4096-ptr_max
PARAM_VALUE 0 dev->ops->hbuf_is_ready 1690850284272857088,6339080241053687808,7871574005532037120
PARAM_VALUE 0 dev->ops->host_is_ready 4096-ptr_max
PARAM_VALUE 0 dev->ops->hw_config 4096-ptr_max
PARAM_VALUE 0 dev->ops->hw_is_ready 4096-ptr_max
PARAM_VALUE 0 dev->ops->hw_reset 6823567617015533568,7108818143572221952,7174017488852860928
PARAM_VALUE 0 dev->ops->hw_start 7229540606219857920,7670079761038143488,7907936787985408000
PARAM_VALUE 0 dev->ops->intr_clear 4096-ptr_max
PARAM_VALUE 0 dev->ops->intr_disable 1197540466041032704,2802521432081928192,8961690004313366528
PARAM_VALUE 0 dev->ops->intr_enable 903144306715283456,5403100406195335168,7388517679128662016
PARAM_VALUE 0 dev->ops->pg_in_transition 4209194584924688384,5374780382896922624,6674113790361702400
PARAM_VALUE 0 dev->ops->pg_is_enabled 4096-ptr_max
PARAM_VALUE 0 dev->ops->pg_state 4096-ptr_max
PARAM_VALUE 0 dev->ops->rdbuf_full_slots 4096-ptr_max
PARAM_VALUE 0 dev->ops->read 4096-ptr_max
PARAM_VALUE 0 dev->ops->read_hdr 4096-ptr_max
PARAM_VALUE 0 dev->ops->synchronize_irq 4096-ptr_max
PARAM_VALUE 0 dev->ops->trc_status 0,1905317001445699584
PARAM_VALUE 0 dev->ops->write 1788262204225368064,4755103806084919296,5663718548179369984
PARAM_VALUE 0 dev->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->rd_msg_hdr 0-4294967295
PARAM_VALUE 1 hdr 4096-ptr_max
PARAM_VALUE 2 hdr_len 4
PARAM_VALUE 3 data 4096-ptr_max
PARAM_VALUE 4 data_len 4,8,16,40
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->parent (-1),1616
BUF_SIZE 3 data 4,8,16,40
BUF_SIZE 3 data 4,8,16,40
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 hdr $1
DATA_SOURCE 2 hdr_len $2
DATA_SOURCE 3 data $3
DATA_SOURCE 4 data_len $4
CONTAINER 0 -136-6048+0 $(-1)
MEM_ZERO 3 data
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->device_lock