Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/nfc/digital_technology.c digital_in_send_cmd() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->activate_target | 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->deactivate_target | 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->im_transceive | 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->start_poll | 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->stop_poll | 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280 |
| PARAM_VALUE | 0 | ddev->ops->abort_cmd | 1680883850341687296,4709578327543676928,4997678920705413120,7028544625156726784 |
| PARAM_VALUE | 0 | ddev->ops->in_configure_hw | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->ops->in_send_cmd | 1636797929775763456,4212296460809183232,4607705068003397632,7276816054664835072 |
| PARAM_VALUE | 0 | ddev->ops->switch_rf | 1222710707939557376,3113789151602368512,6743761737849724928,8649896589815574528 |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 798501939635146752,3425459944083644416,4585782727333859328,9187651752251629568 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen | 3404847163521273856,4374846715402911744,7252905944003837952,8420517962269548544 |
| PARAM_VALUE | 0 | ddev->ops->tg_send_cmd | 1636797929775763456,4099113088036323328,5334164129599811584,6639581868797640704 |
| PARAM_VALUE | 1 | cmd_type | 0 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data_len | 0 |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 30 |
| PARAM_VALUE | 6 | cb_context | 0,4096-ptr_max |
| BUF_SIZE | 2 | skb | 0-s32max |
| BUF_SIZE | 2 | skb | 0-s32max |
| BUF_SIZE | 6 | cb_context | (-1),16,64,96,872 |
| BUF_SIZE | 6 | cb_context | (-1),16,64,96,872 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 2 | skb | $1 |
| DATA_SOURCE | 4 | timeout | $2 |
| DATA_SOURCE | 5 | cmd_cb | $3 |
| DATA_SOURCE | 6 | cb_context | $4 |
| RX_PATH | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_technology.c digital_tg_listen() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->driver_data->cmd->code | 64 |
| PARAM_VALUE | 0 | ddev->driver_data->cmd->complete_cb_context | 7150223875907026944 |
| PARAM_VALUE | 0 | ddev->driver_data->cmd->resp_len | 1013 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->actual_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->complete | 499345620790165504 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->offset | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->use_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->is_initiator | 0 |
| PARAM_VALUE | 0 | ddev->driver_data->iso_ctrl | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->actual_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.cpu | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->interval | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->num_mapped_sgs | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->reject.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->offset | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->status | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_buffer->bDeviceProtocol | 1 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_buffer_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->use_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->bus_lock_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->bus_lock_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->cur_msg_completion.done | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->cur_msg_completion.wait.lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->cur_msg_incomplete | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->cur_msg_need_completion | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->fallback | 0-1 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->io_mutex.osq.tail.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->kworker->lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->pump_messages.worker->lock.owner_cpu | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->spi->controller->queue_empty | 0-1 |
| PARAM_VALUE | 0 | ddev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_tech_count | 1-255 |
| PARAM_VALUE | 0 | ddev->poll_techs | 4096-ptr_max |
| PARAM_VALUE | 0 | *ddev->driver_data->in_urb->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->out_urb->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->spi->controller->cur_msg->opt_state | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->spi->controller->cur_msg_completion.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->spi->controller->dummy_rx | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->spi->controller->dummy_tx | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | cmd_type | 2 |
| PARAM_VALUE | 2 | skb | 0 |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 300 |
| PARAM_VALUE | 6 | cb_context | 0 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 4 | timeout | $1 |
| DATA_SOURCE | 5 | cmd_cb | $2 |
| DATA_SOURCE | 6 | cb_context | $3 |
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_technology.c digital_tg_send_cmd() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->cmd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.iommu_group->owner_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.p->dead | 0-1 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.p->deferred_probe_reason | 0-s64max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->activate_target | 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->deactivate_target | 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->im_transceive | 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->start_poll | 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->stop_poll | 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280 |
| PARAM_VALUE | 0 | ddev->ops->abort_cmd | 1680883850341687296,4709578327543676928,4997678920705413120,7028544625156726784 |
| PARAM_VALUE | 0 | ddev->ops->in_configure_hw | 1004797891119562752,1664404476499374080,1930106640587792384,3323280240387108864 |
| PARAM_VALUE | 0 | ddev->ops->in_send_cmd | 1636797929775763456,4212296460809183232,4607705068003397632,7276816054664835072 |
| PARAM_VALUE | 0 | ddev->ops->switch_rf | 1222710707939557376,3113789151602368512,6743761737849724928,8649896589815574528 |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 798501939635146752,3425459944083644416,4585782727333859328,9187651752251629568 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen | 3404847163521273856,4374846715402911744,7252905944003837952,8420517962269548544 |
| PARAM_VALUE | 0 | ddev->ops->tg_send_cmd | 1636797929775763456,4099113088036323328,5334164129599811584,6639581868797640704 |
| PARAM_VALUE | 1 | cmd_type | 1 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 2 | skb->data_len | 0 |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 300 |
| PARAM_VALUE | 6 | cb_context | 0 |
| BUF_SIZE | 2 | skb | 0-s32max |
| BUF_SIZE | 2 | skb | 0-s32max |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 2 | skb | $1 |
| DATA_SOURCE | 4 | timeout | $2 |
| DATA_SOURCE | 5 | cmd_cb | $3 |
| DATA_SOURCE | 6 | cb_context | $4 |
| RX_PATH | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len | |
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_in_send_cmd() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->activate_target | 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->check_presence | 0,4728140487569235968 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->deactivate_target | 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dep_link_down | 355470142055641088,2090910731512504320,2392118245499240448,7578632856084828160 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dep_link_up | 4982742196432220160,6609184986829758464,8633503071116914688,9209094737021091840 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dev_down | 243348186522214400,1096150933579042816,4869152370686676992,8370718023299584000 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dev_up | 746811979930103808,6418966830203441152,6863304807299244032,8626585718820888576 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->disable_se | 0,1915357409140711424,3403997242503864320 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->discover_se | 0,3019071517276602368,6860739426877366272 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->enable_se | 0,3918214453357342720,9109474533283012608 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->fw_download | 0,1846228862087254016,5985860563492859904 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->im_transceive | 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->se_io | 0,2519008766565285888,8933110999295467520 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->start_poll | 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->stop_poll | 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->tm_send | 472535789981655040,1469651872020045824,5857107076271144960,8435522912003715072 |
| PARAM_VALUE | 0 | ddev->ops->abort_cmd | 1680883850341687296,4709578327543676928,4997678920705413120,7028544625156726784 |
| PARAM_VALUE | 0 | ddev->ops->in_configure_hw | 1004797891119562752,1664404476499374080,1930106640587792384,3323280240387108864 |
| PARAM_VALUE | 0 | ddev->ops->in_send_cmd | 1636797929775763456,4212296460809183232,4607705068003397632,7276816054664835072 |
| PARAM_VALUE | 0 | ddev->ops->switch_rf | 1222710707939557376,3113789151602368512,6743761737849724928,8649896589815574528 |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 798501939635146752,3425459944083644416,4585782727333859328,9187651752251629568 |
| PARAM_VALUE | 0 | ddev->ops->tg_get_rf_tech | 0,2093833809567002624,2990389194252464128 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen | 3404847163521273856,4374846715402911744,7252905944003837952,8420517962269548544 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen_md | 0,5557115534919274496 |
| PARAM_VALUE | 0 | ddev->ops->tg_send_cmd | 1636797929775763456,4099113088036323328,5334164129599811584,6639581868797640704 |
| PARAM_VALUE | 1 | cmd_type | 0 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 3 | params | 0 |
| BUF_SIZE | 0 | ddev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ddev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ddev->chaining_skb | (-1)-s32max |
| BUF_SIZE | 0 | ddev->saved_skb | (-1)-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 6 | cb_context | (-1),16,64,872 |
| BUF_SIZE | 6 | cb_context | (-1),16,64,872 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 2 | skb | $1 |
| DATA_SOURCE | 4 | timeout | $2 |
| DATA_SOURCE | 5 | cmd_cb | $3 |
| DATA_SOURCE | 6 | cb_context | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | timeout | 0-5049[c] |
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len | |
| NO_OVERFLOW_SIMPLE | 2 | skb->end | |
| NO_OVERFLOW_SIMPLE | 2 | skb->len | |
| UNITS | 0 | ddev | unit_byte |
| USER_PTR | 0 | ddev->chaining_skb->data | |
| USER_PTR | 0 | ddev->saved_skb->data | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_listen() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->cmd_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->cmd_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->actual_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->complete | 499345620790165504 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->interval | s32min-32768 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->num_mapped_sgs | 0-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->sg->offset | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->status | (-4095)-0 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->in_urb->use_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->actual_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->dev->urbnum.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->interval | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->num_mapped_sgs | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->dma_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->dma_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->sg->offset | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->status | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_buffer->bmAttributes | 0-255 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_buffer_length | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->transfer_flags | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb->use_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->driver_data->out_urb_lock->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->activate_target | 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->deactivate_target | 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->im_transceive | 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->start_poll | 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->stop_poll | 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280 |
| PARAM_VALUE | 0 | ddev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->ops->abort_cmd | 1680883850341687296,4709578327543676928,4997678920705413120,7028544625156726784 |
| PARAM_VALUE | 0 | ddev->ops->in_configure_hw | 1004797891119562752,1664404476499374080,1930106640587792384,3323280240387108864 |
| PARAM_VALUE | 0 | ddev->ops->in_send_cmd | 1636797929775763456,4212296460809183232,4607705068003397632,7276816054664835072 |
| PARAM_VALUE | 0 | ddev->ops->switch_rf | 1222710707939557376,3113789151602368512,6743761737849724928,8649896589815574528 |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 798501939635146752,3425459944083644416,4585782727333859328,9187651752251629568 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen | 3404847163521273856,4374846715402911744,7252905944003837952,8420517962269548544 |
| PARAM_VALUE | 0 | ddev->ops->tg_send_cmd | 1636797929775763456,4099113088036323328,5334164129599811584,6639581868797640704 |
| PARAM_VALUE | 0 | ddev->skb_add_crc | 981037369882759168,984095051688157184,2158486926740303872 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 881161826092965888,4051754734147547136,4312635795753398272 |
| PARAM_VALUE | 0 | *ddev->driver_data->in_urb->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *ddev->driver_data->out_urb->transfer_buffer | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | cmd_type | 2 |
| PARAM_VALUE | 2 | skb | 0 |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 1500 |
| PARAM_VALUE | 6 | cb_context | 0 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 4 | timeout | $1 |
| DATA_SOURCE | 5 | cmd_cb | $2 |
| DATA_SOURCE | 6 | cb_context | $3 |
| RX_PATH | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_send_cmd() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.dma_io_tlb_mem->phys_limit | 0-s64max |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->activate_target | 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->check_presence | 0,4728140487569235968 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->deactivate_target | 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dep_link_down | 355470142055641088,2090910731512504320,2392118245499240448,7578632856084828160 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dep_link_up | 4982742196432220160,6609184986829758464,8633503071116914688,9209094737021091840 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dev_down | 243348186522214400,1096150933579042816,4869152370686676992,8370718023299584000 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->dev_up | 746811979930103808,6418966830203441152,6863304807299244032,8626585718820888576 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->disable_se | 0,1915357409140711424,3403997242503864320 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->discover_se | 0,3019071517276602368,6860739426877366272 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->enable_se | 0,3918214453357342720,9109474533283012608 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->fw_download | 0,1846228862087254016,5985860563492859904 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->im_transceive | 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->se_io | 0,2519008766565285888,8933110999295467520 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->start_poll | 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->stop_poll | 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280 |
| PARAM_VALUE | 0 | ddev->nfc_dev->ops->tm_send | 472535789981655040,1469651872020045824,5857107076271144960,8435522912003715072 |
| PARAM_VALUE | 0 | ddev->ops->abort_cmd | 1680883850341687296,4709578327543676928,4997678920705413120,7028544625156726784 |
| PARAM_VALUE | 0 | ddev->ops->in_configure_hw | 1004797891119562752,1664404476499374080,1930106640587792384,3323280240387108864 |
| PARAM_VALUE | 0 | ddev->ops->in_send_cmd | 1636797929775763456,4212296460809183232,4607705068003397632,7276816054664835072 |
| PARAM_VALUE | 0 | ddev->ops->switch_rf | 1222710707939557376,3113789151602368512,6743761737849724928,8649896589815574528 |
| PARAM_VALUE | 0 | ddev->ops->tg_configure_hw | 798501939635146752,3425459944083644416,4585782727333859328,9187651752251629568 |
| PARAM_VALUE | 0 | ddev->ops->tg_get_rf_tech | 0,2093833809567002624,2990389194252464128 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen | 3404847163521273856,4374846715402911744,7252905944003837952,8420517962269548544 |
| PARAM_VALUE | 0 | ddev->ops->tg_listen_md | 0,5557115534919274496 |
| PARAM_VALUE | 0 | ddev->ops->tg_send_cmd | 1636797929775763456,4099113088036323328,5334164129599811584,6639581868797640704 |
| PARAM_VALUE | 1 | cmd_type | 1 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 0,999,1500 |
| BUF_SIZE | 0 | ddev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ddev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ddev->chaining_skb | (-1)-s32max |
| BUF_SIZE | 0 | ddev->saved_skb | (-1)-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 6 | cb_context | (-1),16,64,872 |
| BUF_SIZE | 6 | cb_context | (-1),16,64,872 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 2 | skb | $1 |
| DATA_SOURCE | 4 | timeout | $2 |
| DATA_SOURCE | 5 | cmd_cb | $3 |
| DATA_SOURCE | 6 | cb_context | $4 |
| HARD_MAX | 4 | timeout | 1500 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ddev->did | 0[c][u] |
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len | |
| NO_OVERFLOW_SIMPLE | 2 | skb->end | |
| NO_OVERFLOW_SIMPLE | 2 | skb->len | |
| UNITS | 0 | ddev | unit_byte |
| USER_PTR | 0 | ddev->chaining_skb->data | |
| USER_PTR | 0 | ddev->saved_skb->data | |
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_core.c digital_in_send_cmd() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->curr_protocol | 0-4,6-255 |
| PARAM_VALUE | 1 | cmd_type | 0 |
| PARAM_VALUE | 2 | skb | 4096-ptr_max |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 500 |
| PARAM_VALUE | 6 | cb_context | 4096-ptr_max |
| BUF_SIZE | 0 | ddev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ddev | s32min-(-2),1-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 2 | skb | (-1)-s32max |
| BUF_SIZE | 6 | cb_context | 16 |
| BUF_SIZE | 6 | cb_context | 16 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 2 | skb | $1 |
| DATA_SOURCE | 4 | timeout | $2 |
| DATA_SOURCE | 5 | cmd_cb | $3 |
| DATA_SOURCE | 6 | cb_context | $4 |
| FUZZY_MAX | 0 | ddev->curr_protocol | 6 |
| UNITS | 0 | ddev | unit_byte |
| LOCK2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex |
net/nfc/digital_core.c digital_tg_listen_md() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_tech_count | 1-255 |
| PARAM_VALUE | 0 | ddev->poll_techs | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd_type | 4 |
| PARAM_VALUE | 2 | skb | 0 |
| PARAM_VALUE | 3 | params | 0 |
| PARAM_VALUE | 4 | timeout | 500 |
| PARAM_VALUE | 6 | cb_context | 0 |
| DATA_SOURCE | 0 | ddev | $0 |
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_core.c digital_tg_listen_mdaa() -> digital_send_cmd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ddev->poll_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ddev->poll_tech_count | 1-255 |
| PARAM_VALUE | 0 | ddev->poll_techs | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd_type | 3 |
| PARAM_VALUE | 2 | skb | 0 |
| PARAM_VALUE | 3 | params | 4096-ptr_max |
| PARAM_VALUE | 3 | params->nfcid2 | 4096-ptr_max |
| PARAM_VALUE | 3 | params->sc | u16max |
| PARAM_VALUE | 3 | params->sel_res | 64 |
| PARAM_VALUE | 3 | params->sens_res | 256 |
| PARAM_VALUE | 4 | timeout | 500 |
| PARAM_VALUE | 6 | cb_context | 0 |
| BUF_SIZE | 3 | params | 16 |
| DATA_SOURCE | 0 | ddev | $0 |
| DATA_SOURCE | 3 | params | r _kzalloc_noprof |
| HALF_LOCKED2 | &pool->lock |