Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/mei/hw-txe.c mei_txe_aliveness_set_sync() -> mei_txe_aliveness_wait()

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->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->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 4096-ptr_max
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 4096-ptr_max
PARAM_VALUE 0 dev->ops->intr_disable 1197540466041032704,2802521432081928192,8961690004313366528
PARAM_VALUE 0 dev->ops->intr_enable 4096-ptr_max
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 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 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->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->pg_event 1
PARAM_VALUE 1 expected 0-1
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->parent (-1),1616
CAPPED_DATA 1 expected 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 expected $1
PARAM_COMPARE 0 dev->hw->aliveness != $1
PARAM_COMPARE 1 expected != $0->hw->aliveness
HARD_MAX 1 expected 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 dev unit_byte
HALF_LOCKED2 0 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock