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() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8524 |
| PARAM_VALUE | 2 | value | 0-1 |
| CAPPED_DATA | 2 | value | 1 |
| DATA_SOURCE | 2 | value | $1 |
| PARAM_COMPARE | 0 | hw->aliveness | != $2 |
| PARAM_COMPARE | 2 | value | != $0->aliveness |
| HARD_MAX | 2 | value | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock | ||
| TYPE_LOCK | (struct mei_device)->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_check_and_ack_intrs() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8288 |
| DATA_SOURCE | 2 | value | r mei_txe_br_reg_read |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->intr_cause | 0-u64max[c] |
| HOST_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/misc/mei/hw-txe.c mei_txe_check_and_ack_intrs() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8224 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hw->intr_cause | 0-u64max[c] |
| HOST_DATA | 2 | value | 0-u32max |
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/misc/mei/hw-txe.c mei_txe_hw_start() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8288 |
| PARAM_VALUE | 2 | value | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mei_device)->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_intr_clear() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8288 |
| PARAM_VALUE | 2 | value | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/mei/hw-txe.c mei_txe_intr_clear() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8224 |
| PARAM_VALUE | 2 | value | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/mei/hw-txe.c mei_txe_intr_disable() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 8228 |
| PARAM_VALUE | 2 | value | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/mei/hw-txe.c mei_txe_intr_disable() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8292 |
| PARAM_VALUE | 2 | value | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/misc/mei/hw-txe.c mei_txe_intr_enable() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 8228 |
| PARAM_VALUE | 2 | value | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_intr_enable() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 0 | hw->mem_addr | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8292 |
| PARAM_VALUE | 2 | value | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_output_ready_set() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 8532 |
| PARAM_VALUE | 2 | value | 1 |
| DATA_SOURCE | 0 | hw | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock |
drivers/misc/mei/hw-txe.c mei_txe_readiness_clear() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8528 |
| PARAM_VALUE | 2 | value | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mei_device)->device_lock |
drivers/misc/mei/hw-txe.c mei_txe_readiness_set_host_rdy() -> mei_txe_br_reg_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hw | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 8528 |
| PARAM_VALUE | 2 | value | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &dev->device_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct mei_device)->device_lock |