Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/mei/client.c mei_cl_irq_write() -> mei_write_message()

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 1 hdr 4096-ptr_max
PARAM_VALUE 3 data 0,4096-ptr_max
BUF_SIZE 1 hdr 4,8-s32max
BUF_SIZE 3 data (-1)-0,4
BUF_SIZE 3 data (-1)-0,4
CAPPED_DATA 3 *data 1
DATA_SOURCE 1 hdr r mei_msg_hdr_init
RX_PATH
TASK_NOT_RUNNING
UNITS 2 hdr_len unit_byte
UNITS 3 data unit_byte
UNITS 4 data_len unit_byte
HALF_LOCKED2 &dev->device_lock
HALF_LOCKED2 _T->lock

drivers/misc/mei/client.c mei_cl_write() -> mei_write_message()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_state 3,6
PARAM_VALUE 0 dev->device_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->device_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->device_lock.wait_lock.owner (-1)
PARAM_VALUE 0 dev->device_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 dev->hbuf_is_ready 0
PARAM_VALUE 0 dev->ops 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 4096-ptr_max
PARAM_VALUE 0 dev->parent->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->class 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->power.request 0-4
PARAM_VALUE 0 dev->parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->parent->type 0,4096-ptr_max
PARAM_VALUE 0 dev->pg_event 0,2-u32max
PARAM_VALUE 0 dev->tx_queue_limit 1-255
PARAM_VALUE 1 hdr 4096-ptr_max
BUF_SIZE 1 hdr 4,8-s32max
BUF_SIZE 3 data 4-s32max
BUF_SIZE 3 data 4-s32max
DATA_SOURCE 1 hdr r mei_msg_hdr_init
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 data_len 1-1000000000[c]
UNITS 2 hdr_len unit_byte
UNITS 4 data_len unit_byte
USER_PTR 3 data
HALF_LOCKED2 &bus->device_lock
HALF_LOCKED2 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock

drivers/misc/mei/hbm.c mei_hbm_write_message() -> mei_write_message()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
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->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 4687228832182272,2436609113278754816,2720495906664833024
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 3 data $2
MEM_ZERO 3 data
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->cdev->count
UNITS 0 dev unit_byte
UNITS 2 hdr_len unit_byte
UNITS 4 data_len unit_byte
HALF_LOCKED2 0 &dev->device_lock