Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/char/tpm/tpm_tis_core.c tpm_tis_send_data() -> tpm_tis_write_bytes()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->phy_ops s64min-(-4096),4096-s64max
PARAM_VALUE 0 data->phy_ops->read_bytes 4096-ptr_max
PARAM_VALUE 0 data->phy_ops->write_bytes 0,4096-ptr_max
PARAM_VALUE 1 addr 0,4-s32max,2147483684-4294963236
PARAM_VALUE 2 len 0-4095,u16max
PARAM_VALUE 3 value 4096-ptr_max
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 2 len 0-4094,u16max[c]
USER_DATA 3 *value 0-255
UNITS 0 data unit_byte
UNITS 2 len unit_byte
UNITS 3 value unit_byte
USER_PTR 3 value