Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/mei/bus.c mei_cldev_register_notif_cb() -> mei_cl_notify_request()

Type Parameter Key Value
PARAM_VALUE 0 cl->dev->hw->slots 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->cur_msg 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->cur_msg_completion.done 0-4294967295
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->cur_msg_completion.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->cur_msg_incomplete 0-1
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->cur_msg_need_completion 0-1
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->busy 0-1
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->map->async 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->qos_request.node.prio s32min-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->regmap->cache_dirty 1
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->name 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->route_data 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->dev.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->fallback 0
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->pump_messages.worker->lock.owner_cpu 0-4294967295
PARAM_VALUE 0 cl->dev->hw->tp->spi->controller->queue_empty 0
PARAM_VALUE 0 cl->dev->hw->write_lock_cnt.counter 0-s32max
PARAM_VALUE 0 cl->rx_flow_ctrl_creds 0-1
PARAM_VALUE 0 cl->state 3
PARAM_VALUE 0 *cl->dev->hw->tp->spi->controller->dev.driver_data->rx_dma.ch->name 0-255
PARAM_VALUE 0 *cl->dev->hw->tx_buf 0-255
PARAM_VALUE 1 fp 0
PARAM_VALUE 2 request 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &bus->device_lock
TYPE_LOCK (struct mei_device)->device_lock

drivers/misc/mei/main.c mei_ioctl_client_notify_request() -> mei_cl_notify_request()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 1 fp 4096-ptr_max
PARAM_VALUE 1 fp->private_data 4096-ptr_max
PARAM_VALUE 2 request 0-1
BUF_SIZE 0 cl s32min-(-2),1-s32max
BUF_SIZE 0 cl s32min-(-2),1-s32max
DATA_SOURCE 1 fp $0
DATA_SOURCE 2 request $1
USER_DATA 2 request 0
LOCK2 &dev->device_lock
TYPE_LOCK (struct mei_device)->device_lock