Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/st33zp24/i2c.c st33zp24_i2c_recv() -> read8_reg()

Type Parameter Key Value
PARAM_VALUE 1 tpm_register 0,16,24-26,36
PARAM_VALUE 3 tpm_size 1-4086
BUF_SIZE 0 phy_id (-1),2064,6192
BUF_SIZE 0 phy_id (-1),2064,6192
CAPPED_DATA 3 tpm_size 1
DATA_SOURCE 0 phy_id $0
DATA_SOURCE 1 tpm_register $1
DATA_SOURCE 2 tpm_data $2
DATA_SOURCE 3 tpm_size $3
HARD_MAX 1 tpm_register 36
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 *tpm_data 0-255
USER_PTR 2 tpm_data