Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/issei/hw_heci.c heci_hcsr_set() -> heci_hcsr_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 0-4294967293
DATA_SOURCE 0 idev $0
DATA_SOURCE 1 reg $1 [m]
BIT_INFO 1 reg 0x0,0xfffffffd
NOCHECK_CALL
HOST_DATA 1 reg 0-4294967293[c]
HALF_LOCKED2 &hw->access_lock
HALF_LOCKED2 irq

drivers/misc/issei/hw_heci.c heci_irq_clear() -> heci_hcsr_write()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->hw 4096-ptr_max
DATA_SOURCE 0 idev $0
DATA_SOURCE 1 reg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 reg 0-u32max
HALF_LOCKED2 &hw->access_lock
HALF_LOCKED2 irq

drivers/misc/issei/hw_heci.c issei_heci_hw_reset() -> heci_hcsr_write()

Type Parameter Key Value
PARAM_VALUE 0 idev 4096-ptr_max
PARAM_VALUE 0 idev->has_data 0
PARAM_VALUE 0 idev->hw 4096-ptr_max
PARAM_VALUE 0 idev->ops 4096-ptr_max
PARAM_VALUE 0 idev->rst_state 0
DATA_SOURCE 0 idev $0
BIT_INFO 1 reg 0x16,0xffffffff
NOCHECK_CALL
HOST_DATA 1 reg 0-u32max