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_input_doorbell_set() -> mei_txe_sec_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->aliveness 1
PARAM_VALUE 0 hw->slots 0
PARAM_VALUE 1 offset 525312
PARAM_VALUE 2 value 1
DATA_SOURCE 0 hw $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/mei/hw-txe.c mei_txe_input_payload_write() -> mei_txe_sec_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
DATA_SOURCE 2 value $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 value 0-u32max
HALF_LOCKED2 &dev->device_lock

drivers/misc/mei/hw-txe.c mei_txe_input_ready_interrupt_enable() -> mei_txe_sec_reg_write()

Type Parameter Key Value
PARAM_VALUE 0 hw 4096-ptr_max
PARAM_VALUE 0 hw->aliveness 0-1
PARAM_VALUE 0 hw->mem_addr 4096-ptr_max
PARAM_VALUE 1 offset 525332
BIT_INFO 2 value 0x2,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-u32max
HALF_LOCKED2 &dev->device_lock