Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/st95hf/core.c st95hf_irq_thread_handler() -> st95hf_response_handler()

Type Parameter Key Value
PARAM_VALUE 0 stcontext 4096-ptr_max
PARAM_VALUE 0 stcontext->current_rf_tech 0,3-4
PARAM_VALUE 0 stcontext->exchange_lock.count 0,2147483648-u32max
PARAM_VALUE 0 stcontext->exchange_lock.lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->exchange_lock.lock.owner (-1)
PARAM_VALUE 0 stcontext->exchange_lock.lock.owner_cpu u32max
PARAM_VALUE 0 stcontext->nfcdev_free 0
PARAM_VALUE 0 stcontext->rm_lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->rm_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 stcontext->rm_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stcontext->rm_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stcontext->rm_lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->rm_lock.wait_lock.owner (-1)
PARAM_VALUE 0 stcontext->rm_lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 stcontext->sendrcv_trflag 0,7-8,40
PARAM_VALUE 0 stcontext->spicontext->spidev->controller->cur_msg->context->msg.opt_state (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 stcontext->spicontext->spidev->controller->dev.driver_data->sram_rx_buf (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 stcontext->spicontext->spidev->controller->dev.driver_data->wq->lockdep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spi_lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spi_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spi_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->bus_lock_mutex.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->bus_lock_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->bus_lock_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->bus_lock_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->bus_lock_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->cur_msg 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->abort_failed 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->bits_per_word 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->brdv 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->busy 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->byte_access 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->bytes_per_word 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cfg_bus 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cfg_spi 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->command2_reg 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->command_reg 0,6144-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->control_shadow 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cs 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cs_inactive 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->ctx.modulctrl 0-4294967291
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cur_bits_per_word 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->cur_midi 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->data_completion.done 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.deferred_resume 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.request 0-4
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.request_pending 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->fifo_level 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->fifo_n_elm 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->freq 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->is_first_byte 1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->last_cs 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->last_mode 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->last_msg_kept_cs 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->last_speed_hz 1-4294967294
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->map->async 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->map->cache_dirty 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->mode 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->op_lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->op_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->para 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->qos_request.node.prio s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->completed_cookie 1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->cookie 1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->dbg_client_name 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->name 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_dma.ch->route_data 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->rx_fifo 3904198247229726720,4565237530177343488,6658731044705361920
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->spcmd 0-u16max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->speed_hz 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->sppcr 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->spr 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->syscon->async 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->syscon->cache_dirty 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->tclk->core->protect_count 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->tx_dma.ch->client_count 1-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->tx_dma.ch->completed_cookie 1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->tx_dma.ch->cookie 1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->tx_fifo 2510381515690913792,7461287794670727168,8282068689171869696
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->use_multi_mode 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->use_pclk 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->usedma 0-1
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->wq->first_flusher->done.done 0-4294967295
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->wq->flush_color s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->wq->flusher_queue.prev->next 2906673126597898240
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->wq->nr_pwqs_to_flush.counter s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->wq->work_color s32min-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dev.driver_data->xfer_conf 0-2047
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dma_rx->client_count 1-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->dma_tx->client_count 1-s32max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->fallback 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->io_mutex.dep_map->name 0-255
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->io_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->io_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->io_mutex.first_waiter->task->blocked_on 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->kworker->work_list.prev 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->kworker->work_list.prev->next 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->kworker->work_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->pump_messages.node.next 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->pump_messages.node.next->prev 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->pump_messages.worker->lock.owner_cpu 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->queue.prev 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->queue.prev->next 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->queue_empty 0
PARAM_VALUE 0 stcontext->spicontext.spidev->controller->queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb_resp 4096-ptr_max
PARAM_VALUE 1 skb_resp->data 4096-ptr_max
PARAM_VALUE 2 res_len 2-1025
CAPPED_DATA 0 &stcontext->rm_lock 1
DATA_SOURCE 0 stcontext $1
DATA_SOURCE 2 res_len r st95hf_spi_recv_response
HARD_MAX 0 stcontext->exchange_lock.count u32max
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 stcontext->spicontext.spidev->controller->dev.driver_data->ctx.modulctrl 0-4294967291[c]
HOST_DATA 0 stcontext->spicontext.spidev->controller->dev.driver_data->para 0-255
LOCK2 0 &stcontext->rm_lock
TYPE_LOCK (struct st95hf_context)->rm_lock