Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/mei/hw-me.c mei_me_count_full_read_slots() -> mei_me_mecsr_read()

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->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->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->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->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 *dev->rd_msg_hdr 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &dev->device_lock

drivers/misc/mei/hw-me.c mei_me_hw_is_ready() -> mei_me_mecsr_read()

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->hw 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 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->host_is_ready 4096-ptr_max
PARAM_VALUE 0 dev->ops->hw_is_ready 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->parent->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 *dev->rd_msg_hdr 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 0 &dev->device_lock

drivers/misc/mei/hw-me.c mei_me_hw_is_resetting() -> mei_me_mecsr_read()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->device_lock.dep_map->name 0-255
PARAM_VALUE 0 dev->device_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->device_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->device_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->device_lock.wait_lock.dep_map->name 0-255
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->hw 4096-ptr_max
PARAM_VALUE 0 dev->ops 4096-ptr_max
PARAM_VALUE 0 dev->ops->hw_is_ready 4096-ptr_max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
LOCK2 0 &dev->device_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct mei_device)->device_lock

drivers/misc/mei/hw-me.c mei_me_pg_is_enabled() -> mei_me_mecsr_read()

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->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 2696239237554749440,4811591524735586304,8070370414043910144
PARAM_VALUE 0 dev->ops->hbuf_is_ready 1690850284272857088,6339080241053687808,7871574005532037120
PARAM_VALUE 0 dev->ops->host_is_ready 3804419461616164864,7116780837857648640,7173419946591674368
PARAM_VALUE 0 dev->ops->hw_config 4687228832182272,2436609113278754816,2720495906664833024
PARAM_VALUE 0 dev->ops->hw_is_ready 226425921477955584,2863643223331184640,3620187017776328704
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 5741127803182960640,5892839074533015552,6750316586926751744
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 6577837060930748416,7348881269627781120,8497506592493920256
PARAM_VALUE 0 dev->ops->pg_state 2388600526016442368,4927159228042289152,5850384228840607744
PARAM_VALUE 0 dev->ops->rdbuf_full_slots 406782190215454720,636933006306930688,2567988083355525120
PARAM_VALUE 0 dev->ops->read 602078078692544512,7469201707933073408,8913246961963081728
PARAM_VALUE 0 dev->ops->read_hdr 2497886220422848512,3581734430787620864,7640952985142583296
PARAM_VALUE 0 dev->ops->synchronize_irq 207372355529232384,6084782250782363648,9188099599082754048
PARAM_VALUE 0 dev->ops->trc_status 0,1905317001445699584
PARAM_VALUE 0 dev->ops->write 1788262204225368064,4755103806084919296,5663718548179369984
PARAM_VALUE 0 *dev->rd_msg_hdr 0-4294967295
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev->parent (-1),1616
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 dev->cdev->count
HALF_LOCKED2 &m->lock