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_full() -> (struct tpm_tis_spi_phy)->flow_control()

Type Parameter Key Value
PARAM_VALUE 0 phy 4096-ptr_max
PARAM_VALUE 0 phy->iobuf 4096-ptr_max
PARAM_VALUE 0 phy->spi_device 4096-ptr_max
PARAM_VALUE 0 phy->spi_device->controller 4096-ptr_max
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_flag 1
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 phy->spi_device->controller->bus_lock_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 spi_xfer 4806616375865466880
PARAM_VALUE 1 spi_xfer->cs_change 1
PARAM_VALUE 1 spi_xfer->delay.unit 0
PARAM_VALUE 1 spi_xfer->delay.value 0
PARAM_VALUE 1 spi_xfer->len 4
PARAM_VALUE 1 spi_xfer->rx_buf 4096-ptr_max
PARAM_VALUE 1 spi_xfer->transfer_list.next 0,4096-ptr_max
PARAM_VALUE 1 spi_xfer->tx_buf 0
DATA_SOURCE 0 phy r to_tpm_tis_spi_phy
CONTAINER 0 -512+0 $(-1)
MEM_ZERO 1 spi_xfer
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 phy->spi_device->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 phy->spi_device->controller->dev.driver_data->para 0-255
HOST_DATA 0 *phy->iobuf 0-255
USER_DATA 0 *phy->iobuf 0-255
USER_PTR 0 phy->iobuf
USER_PTR 1 spi_xfer->rx_buf
LOCK2 0 &phy->spi_device->controller->bus_lock_mutex
HALF_LOCKED2 &cr50_phy->time_track_mutex
HALF_LOCKED2 &data->locality_count_mutex
TYPE_LOCK (struct spi_controller)->bus_lock_mutex