Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/digital_technology.c digital_in_recv_ats() -> digital_target_found()

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->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->curr_nfc_dep_pni 0
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 0 ddev->target_fsc 16,24,32,40,48,64,96,128,256
PARAM_VALUE 2 protocol 4
BUF_SIZE 1 target 16,64,872
BUF_SIZE 1 target 16,64,872
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 target $1
FUZZY_MAX 0 ddev->target_fsc 256
RX_PATH
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
HALF_LOCKED2 &pool->lock

net/nfc/digital_technology.c digital_in_recv_attrib_res() -> digital_target_found()

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->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.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 2 protocol 6
BUF_SIZE 1 target 16,64,872
BUF_SIZE 1 target 16,64,872
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 target $1
RX_PATH
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
HALF_LOCKED2 &pool->lock

net/nfc/digital_technology.c digital_in_recv_iso15693_inv_res() -> digital_target_found()

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->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.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 target 4096-ptr_max
PARAM_VALUE 1 target->is_iso15693 1
PARAM_VALUE 2 protocol 7
BUF_SIZE 1 target 96
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 target r _kzalloc_noprof
RX_PATH
USER_DATA 1 target->iso15693_dsfid 0-255[u]
USER_DATA 1 *target->iso15693_uid 0-255[u]
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
USER_PTR 1 target->iso15693_uid
HALF_LOCKED2 &pool->lock

net/nfc/digital_technology.c digital_in_recv_sel_res() -> digital_target_found()

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->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_capabilities 1-u32max
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 target 4096-ptr_max
PARAM_VALUE 2 protocol 2,5
BUF_SIZE 1 target 16,64,872
BUF_SIZE 1 target 16,64,872
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 target $1
FUZZY_MAX 2 protocol 5
BIT_INFO 1 target->sel_res 0x0,0xfb
HARD_MAX 2 protocol 5
RX_PATH
USER_DATA 1 target->sel_res 0-255
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
HALF_LOCKED2 &pool->lock

net/nfc/digital_technology.c digital_in_recv_sens_res() -> digital_target_found()

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->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.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 target 4096-ptr_max
PARAM_VALUE 2 protocol 1
BUF_SIZE 1 target 96
DATA_SOURCE 0 ddev $0
DATA_SOURCE 1 target r _kzalloc_noprof
BIT_INFO 1 target->sens_res 0x0,0xffe0
RX_PATH
USER_DATA 1 target->sens_res 0-u16max
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
HALF_LOCKED2 &pool->lock

net/nfc/digital_technology.c digital_in_recv_sensf_res() -> digital_target_found()

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->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_capabilities 1-u32max
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 target 912247012067373056
PARAM_VALUE 1 target->nfcid2_len 8
PARAM_VALUE 1 target->sensf_res_len 0-18
PARAM_VALUE 2 protocol 3,5
DATA_SOURCE 0 ddev $0
FUZZY_MAX 2 protocol 5
BIT_INFO 2 protocol 0x1,0x7
HARD_MAX 2 protocol 5
MEM_ZERO 1 target
RX_PATH
NO_OVERFLOW_SIMPLE 0 ddev->chaining_skb->len
USER_PTR 1 target->nfcid2
USER_PTR 1 target->sensf_res
HALF_LOCKED2 &pool->lock