Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/arm_scpi.c scpi_send_message() -> put_scpi_xfer()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->cmd 0-536870911
PARAM_VALUE 0 t->done.done 0-4294967293,u32max
PARAM_VALUE 0 t->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 t->done.wait.lock.owner (-1)
PARAM_VALUE 0 t->done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 t->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 t->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 t->rx_buf 4096-ptr_max
PARAM_VALUE 0 t->rx_len 1-2,4,8,24,28,32,132
PARAM_VALUE 0 t->slot 0-536870911
PARAM_VALUE 0 t->tx_len 0-3,8
PARAM_VALUE 1 ch 4096-ptr_max
PARAM_VALUE 1 ch->chan 0,4096-ptr_max
PARAM_VALUE 1 ch->xfers_lock.dep_map->name 0-255
PARAM_VALUE 1 ch->xfers_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 ch->xfers_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 ch->xfers_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 ch->xfers_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 ch->xfers_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 ch->xfers_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 ch->xfers_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 ch->xfers_lock.osq.tail.counter 0-s32max
BUF_SIZE 0 t->rx_buf (-1),2,4,8,24,28,32,132
BUF_SIZE 0 t->tx_buf (-1),2-3,8
DATA_SOURCE 0 t r get_scpi_xfer
FUZZY_MAX 0 t->slot 1
PARAM_COMPARE 1 &ch->xfers_list != $1->xfers_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 *t->tx_buf