Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm_tis_spi_main.c tpm_tis_spi_transfer() -> tpm_tis_spi_transfer_half()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->phy_ops 4096-ptr_max
PARAM_VALUE 0 data->phy_ops->read_bytes 0,4096-ptr_max
PARAM_VALUE 0 data->phy_ops->verify_crc 0,3331698306427895808
PARAM_VALUE 0 data->phy_ops->write_bytes 0,4096-ptr_max
PARAM_VALUE 1 addr 0,4-4294967184
PARAM_VALUE 2 len 0-4095,u16max
BUF_SIZE 0 data s32min-(-1),1-s32max
BUF_SIZE 0 data s32min-(-1),1-s32max
BUF_SIZE 0 data->chip (-1),9120
BUF_SIZE 3 in (-1),2,4
BUF_SIZE 3 in (-1),2,4
BUF_SIZE 4 out (-1),4
BUF_SIZE 4 out (-1),4
CAPPED_DATA 2 len 1
DATA_SOURCE 0 data $0
DATA_SOURCE 1 addr $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 in $3
DATA_SOURCE 4 out $4
NOSPEC 2 len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 data->did_vid 0-255
HOST_DATA 0 data->int_mask 0-390[c]
HOST_DATA 0 data->irq 1-255
HOST_DATA 3 *in 0-255
HOST_DATA 4 *out 0-255
USER_DATA 2 len 0-4094,u16max[c][u]
USER_DATA 3 *in 0-255
USER_DATA 4 *out 0-255
USER_PTR 3 in
USER_PTR 4 out
HALF_LOCKED2 &cr50_phy->time_track_mutex
HALF_LOCKED2 0 &data->locality_count_mutex