Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/fsi/fsi-occ.c fsi_occ_submit() -> occ_trigger_attn()

Type Parameter Key Value
PARAM_VALUE 0 occ 4096-ptr_max
PARAM_VALUE 0 occ->buffer 4096-ptr_max
PARAM_VALUE 0 occ->client_buffer 4096-ptr_max
PARAM_VALUE 0 occ->client_buffer_size 8,4096,8192
PARAM_VALUE 0 occ->client_response_size 0
PARAM_VALUE 0 occ->occ_lock.dep_map->name 0-255
PARAM_VALUE 0 occ->occ_lock.first_waiter 0,4096-5159360019465732095,5159360019465732097-ptr_max
PARAM_VALUE 0 occ->occ_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 occ->occ_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 occ->occ_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 occ->occ_lock.wait_lock.owner (-1)
PARAM_VALUE 0 occ->occ_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 occ->sbefifo 4096-ptr_max
PARAM_VALUE 0 occ->sbefifo->driver_data->async_ffdc 0
PARAM_VALUE 0 occ->sbefifo->driver_data->broken 1
PARAM_VALUE 0 occ->sbefifo->driver_data->dev.kobj.sd->count.counter s32min-s32max
PARAM_VALUE 0 occ->sbefifo->driver_data->dev.kobj.sd->flags 0-u16max
PARAM_VALUE 0 occ->sbefifo->driver_data->dev.kobj.sd->hash 0-4294967295
PARAM_VALUE 0 occ->sbefifo->driver_data->dev.kobj.sd->mode 0-u16max
PARAM_VALUE 0 occ->sbefifo->driver_data->fsi_dev->size 1-4294967295
PARAM_VALUE 0 occ->sbefifo->driver_data->fsi_dev->slave->id 0
PARAM_VALUE 0 occ->sbefifo->driver_data->fsi_dev->slave->t_echo_delay 0-255
PARAM_VALUE 0 occ->sbefifo->driver_data->fsi_dev->slave->t_send_delay 0-255
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 occ->sbefifo->driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 occ->sbefifo->driver_data->magic 1396852038
PARAM_VALUE 0 occ->sbefifo->driver_data->timed_out 0
PARAM_VALUE 0 occ->sequence_number 1-255
PARAM_VALUE 0 occ->version 0-1
PARAM_VALUE 0 *occ->buffer 8-8192
BUF_SIZE 0 occ s32min-(-2),1-s32max
BUF_SIZE 0 occ s32min-(-2),1-s32max
BUF_SIZE 0 occ->client_buffer 8,4096,8192
CAPPED_DATA 0 occ->client_buffer_size 1
CAPPED_DATA 0 occ->sbefifo->driver_data->fsi_dev->slave->size 1
CAPPED_DATA 0 &occ->occ_lock 1
FUZZY_MAX 0 occ->sequence_number 1
TASK_NOT_RUNNING
UNITS 0 occ unit_byte
LOCK2 0 &occ->occ_lock
HALF_LOCKED2 &client->lock
HALF_LOCKED2 &occ->lock
TYPE_LOCK (struct occ)->occ_lock