Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/char/tpm/tpm_tis_core.c recv_data() -> tpm_tis_read_bytes()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->phy_ops->read_bytes 0,4096-ptr_max
PARAM_VALUE 1 addr 0,4-s32max,2147483684-4294963236
PARAM_VALUE 2 len 1-4086
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
CAPPED_DATA 2 len 1
BIT_INFO 1 addr 0x24,0xfffff024
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 *result 0-255
UNITS 0 data unit_byte
USER_PTR 3 result
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &priv->buffer_mutex

drivers/char/tpm/tpm_tis_spi_cr50.c cr50_print_fw_version() -> tpm_tis_read_bytes()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->chip 4096-ptr_max
PARAM_VALUE 0 data->int_mask 0-s32max
PARAM_VALUE 0 data->int_queue.head.next 4096-ptr_max
PARAM_VALUE 0 data->int_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 data->locality_count_mutex.magic 4096-ptr_max
PARAM_VALUE 0 data->phy_ops 1750017963751510016
PARAM_VALUE 0 data->phy_ops->read_bytes 4096-ptr_max
PARAM_VALUE 0 data->phy_ops->write_bytes 4096-ptr_max
PARAM_VALUE 0 data->read_queue.head.next 4096-ptr_max
PARAM_VALUE 0 data->read_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 data->rng_quality 700
PARAM_VALUE 0 data->timeout_max 500,15000
PARAM_VALUE 0 data->timeout_min 100,14700
PARAM_VALUE 1 addr 3984
PARAM_VALUE 2 len 4
PARAM_VALUE 3 result 3179165098939113472
BUF_SIZE 3 result 4
DATA_SOURCE 0 data $0
MEM_ZERO 0 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 data->did_vid 0
HOST_DATA 0 data->int_mask 0-390[c]
HOST_DATA 3 *result 0-255