Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/chrome/cros_ec_sensorhub_ring.c cros_ec_sensor_ring_spread_add() -> cros_sensorhub_send_sample()

Type Parameter Key Value
PARAM_VALUE 0 sensorhub 4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_data.event_type 2
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_size 13
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->fifo_info 4096-ptr_max
PARAM_VALUE 0 sensorhub->fifo_info->count 1-u16max
PARAM_VALUE 0 sensorhub->fifo_size 0-u16max
PARAM_VALUE 0 sensorhub->fifo_timestamp 4096-ptr_max
PARAM_VALUE 0 sensorhub->filter.median_error s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->filter.median_m s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->msg 4096-ptr_max
PARAM_VALUE 0 sensorhub->msg->insize 0-524284
PARAM_VALUE 0 sensorhub->msg->outsize 13
PARAM_VALUE 0 sensorhub->params 4096-ptr_max
PARAM_VALUE 0 sensorhub->params->cmd 9
PARAM_VALUE 0 sensorhub->params->fifo_read.max_data_vector 1-u16max
PARAM_VALUE 0 sensorhub->resp 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data->sensor_num 0-190
PARAM_VALUE 0 sensorhub->resp->fifo_read.number_data 1-u32max
PARAM_VALUE 0 sensorhub->ring->sensor_id 0-190
PARAM_VALUE 0 sensorhub->sensor_num 2,191
PARAM_VALUE 0 sensorhub->tight_timestamps 1
PARAM_VALUE 0 *sensorhub->msg->data 0-255
PARAM_VALUE 1 sample 4096-ptr_max
PARAM_VALUE 1 sample->sensor_id 0-64
CAPPED_DATA 0 sensorhub->fifo_size 1
CAPPED_DATA 0 sensorhub->params->fifo_read.max_data_vector 1
CAPPED_DATA 1 sample 1
CAPPED_DATA 1 sample->sensor_id 1
DATA_SOURCE 0 sensorhub $0
FUZZY_MAX 0 sensorhub->fifo_info->count 1
PARAM_COMPARE 1 sample->sensor_id < $0->sensor_num
BIT_INFO 1 sample->flag 0x1,0xff
NOCHECK_CALL

drivers/platform/chrome/cros_ec_sensorhub_ring.c cros_ec_sensor_ring_spread_add() -> cros_sensorhub_send_sample()

Type Parameter Key Value
PARAM_VALUE 0 sensorhub 4096-ptr_max
PARAM_VALUE 0 sensorhub->batch_state 4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_data.event_type 2
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_size 13
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->fifo_info 4096-ptr_max
PARAM_VALUE 0 sensorhub->fifo_info->count 1-u16max
PARAM_VALUE 0 sensorhub->fifo_size 0-u16max
PARAM_VALUE 0 sensorhub->fifo_timestamp 4096-ptr_max
PARAM_VALUE 0 sensorhub->filter.median_error s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->filter.median_m s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->msg 4096-ptr_max
PARAM_VALUE 0 sensorhub->msg->insize 0-524284
PARAM_VALUE 0 sensorhub->msg->outsize 13
PARAM_VALUE 0 sensorhub->params 4096-ptr_max
PARAM_VALUE 0 sensorhub->params->cmd 9
PARAM_VALUE 0 sensorhub->params->fifo_read.max_data_vector 1-u16max
PARAM_VALUE 0 sensorhub->resp 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data->sensor_num 0-190
PARAM_VALUE 0 sensorhub->resp->fifo_read.number_data 1-u32max
PARAM_VALUE 0 sensorhub->ring->sensor_id 0-190
PARAM_VALUE 0 sensorhub->sensor_num 2,191
PARAM_VALUE 0 sensorhub->tight_timestamps 1
PARAM_VALUE 0 *sensorhub->msg->data 0-255
PARAM_VALUE 1 sample 4096-ptr_max
PARAM_VALUE 1 sample->sensor_id 0-64
PARAM_VALUE 1 sample->timestamp (-9223372036854775807)-s64max
CAPPED_DATA 0 sensorhub->fifo_size 1
CAPPED_DATA 0 sensorhub->params->fifo_read.max_data_vector 1
CAPPED_DATA 1 sample 1
CAPPED_DATA 1 sample->sensor_id 1
DATA_SOURCE 0 sensorhub $0
FUZZY_MAX 0 sensorhub->fifo_info->count 1
PARAM_COMPARE 1 sample->sensor_id < $0->sensor_num
BIT_INFO 1 sample->flag 0x0,0xfe
NOCHECK_CALL

drivers/platform/chrome/cros_ec_sensorhub_ring.c cros_ec_sensor_ring_spread_add() -> cros_sensorhub_send_sample()

Type Parameter Key Value
PARAM_VALUE 0 sensorhub 4096-ptr_max
PARAM_VALUE 0 sensorhub->batch_state 4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_data.event_type 2
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_size 13
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->fifo_info 4096-ptr_max
PARAM_VALUE 0 sensorhub->fifo_info->count 1-u16max
PARAM_VALUE 0 sensorhub->fifo_size 0-u16max
PARAM_VALUE 0 sensorhub->fifo_timestamp 4096-ptr_max
PARAM_VALUE 0 sensorhub->filter.median_error s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->filter.median_m s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->msg 4096-ptr_max
PARAM_VALUE 0 sensorhub->msg->insize 0-524284
PARAM_VALUE 0 sensorhub->msg->outsize 13
PARAM_VALUE 0 sensorhub->params 4096-ptr_max
PARAM_VALUE 0 sensorhub->params->cmd 9
PARAM_VALUE 0 sensorhub->params->fifo_read.max_data_vector 1-u16max
PARAM_VALUE 0 sensorhub->resp 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data->sensor_num 0-190
PARAM_VALUE 0 sensorhub->resp->fifo_read.number_data 1-u32max
PARAM_VALUE 0 sensorhub->ring->sensor_id 0-190
PARAM_VALUE 0 sensorhub->sensor_num 2,191
PARAM_VALUE 0 sensorhub->tight_timestamps 1
PARAM_VALUE 0 *sensorhub->msg->data 0-255
PARAM_VALUE 1 sample 4096-ptr_max
PARAM_VALUE 1 sample->sensor_id 0-64
CAPPED_DATA 0 sensorhub->fifo_size 1
CAPPED_DATA 0 sensorhub->params->fifo_read.max_data_vector 1
CAPPED_DATA 1 sample 1
CAPPED_DATA 1 sample->sensor_id 1
DATA_SOURCE 0 sensorhub $0
FUZZY_MAX 0 sensorhub->fifo_info->count 1
PARAM_COMPARE 1 sample->sensor_id < $0->sensor_num
NOCHECK_CALL

drivers/platform/chrome/cros_ec_sensorhub_ring.c cros_ec_sensor_ring_spread_add_legacy() -> cros_sensorhub_send_sample()

Type Parameter Key Value
PARAM_VALUE 0 sensorhub 4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->cmd_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_data.event_type 2
PARAM_VALUE 0 sensorhub->ec->ec_dev->event_size 13
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner (-1)
PARAM_VALUE 0 sensorhub->ec->ec_dev->priv->xfer_ack.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 sensorhub->fifo_info 4096-ptr_max
PARAM_VALUE 0 sensorhub->fifo_info->count 1-u16max
PARAM_VALUE 0 sensorhub->fifo_size 0-u16max
PARAM_VALUE 0 sensorhub->fifo_timestamp 4096-ptr_max
PARAM_VALUE 0 sensorhub->filter.median_error s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->filter.median_m s64min-(-4096),(-1)-0,4096-s64max
PARAM_VALUE 0 sensorhub->msg 4096-ptr_max
PARAM_VALUE 0 sensorhub->msg->insize 0-524284
PARAM_VALUE 0 sensorhub->msg->outsize 13
PARAM_VALUE 0 sensorhub->params 4096-ptr_max
PARAM_VALUE 0 sensorhub->params->cmd 9
PARAM_VALUE 0 sensorhub->params->fifo_read.max_data_vector 1-u16max
PARAM_VALUE 0 sensorhub->resp 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data 4096-ptr_max
PARAM_VALUE 0 sensorhub->resp->fifo_read.data->sensor_num 0-190
PARAM_VALUE 0 sensorhub->resp->fifo_read.number_data 1-u32max
PARAM_VALUE 0 sensorhub->ring->sensor_id 0-190
PARAM_VALUE 0 sensorhub->sensor_num 2
PARAM_VALUE 0 sensorhub->tight_timestamps 0
PARAM_VALUE 0 *sensorhub->msg->data 0-255
PARAM_VALUE 1 sample 0-18446744073709551614
PARAM_VALUE 1 sample->sensor_id 0-190
CAPPED_DATA 0 sensorhub->fifo_size 1
CAPPED_DATA 0 sensorhub->params->fifo_read.max_data_vector 1
CAPPED_DATA 1 sample 1
DATA_SOURCE 0 sensorhub $0
FUZZY_MAX 0 sensorhub->fifo_info->count 1
PARAM_COMPARE 1 sample >= $0->ring
PARAM_COMPARE 1 sample >= $0->ring
NOCHECK_CALL