Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm_i2c_infineon.c release_locality() -> iic_tpm_write()

Type Parameter Key Value
PARAM_VALUE 1 buffer 1619334707543113728
PARAM_VALUE 1 *buffer 32
PARAM_VALUE 2 len 1
BIT_INFO 0 addr 0x0,0xfffffff0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/char/tpm/tpm_i2c_infineon.c request_locality() -> iic_tpm_write()

Type Parameter Key Value
PARAM_VALUE 0 addr 0
PARAM_VALUE 1 buffer 5335280962316353536
PARAM_VALUE 1 *buffer 2
PARAM_VALUE 2 len 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/char/tpm/tpm_i2c_infineon.c tpm_tis_i2c_send() -> iic_tpm_write()

Type Parameter Key Value
PARAM_VALUE 0 addr 5
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 len 1-1259
CAPPED_DATA 2 len 1
TASK_NOT_RUNNING
USER_DATA 1 *buffer 0-255
USER_DATA 2 len 1-1259[c]
USER_PTR 1 buffer
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex

drivers/char/tpm/tpm_i2c_infineon.c tpm_tis_i2c_send() -> iic_tpm_write()

Type Parameter Key Value
PARAM_VALUE 0 addr 5
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 len 1
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *buffer 0-255
USER_PTR 1 buffer
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex

drivers/char/tpm/tpm_i2c_infineon.c tpm_tis_i2c_send() -> iic_tpm_write()

Type Parameter Key Value
PARAM_VALUE 0 addr 1
PARAM_VALUE 1 buffer 2087193447822397440
PARAM_VALUE 1 *buffer 32
PARAM_VALUE 2 len 1
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex