Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/nfc/digital_technology.c digital_in_recv_ats() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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->skb_add_crc | 1230615448573554688,3385764784888492032,4738527060757643264,7385412447624953856 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 4046366672593752064,5169454857220059136,5308654517506834432,9192395490111180800 |
| PARAM_VALUE | 0 | ddev->target_fsc | 16,24,32,40,48,64,96,128,256 |
| DATA_SOURCE | 0 | ddev | $0 |
| FUZZY_MAX | 0 | ddev->target_fsc | 256 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_attrib_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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->skb_add_crc | 1230615448573554688,3385764784888492032,4738527060757643264,7385412447624953856 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 4046366672593752064,5169454857220059136,5308654517506834432,9192395490111180800 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_iso15693_inv_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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->skb_add_crc | 1230615448573554688,3385764784888492032,4738527060757643264,7385412447624953856 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 4046366672593752064,5169454857220059136,5308654517506834432,9192395490111180800 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_sdd_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_sel_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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->skb_add_crc | 1230615448573554688,3385764784888492032,4738527060757643264,7385412447624953856 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 4046366672593752064,5169454857220059136,5308654517506834432,9192395490111180800 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_sens_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_sensb_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_in_recv_sensf_res() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 | 0 | ddev->skb_add_crc | 1230615448573554688,3385764784888492032,4738527060757643264,7385412447624953856 |
| PARAM_VALUE | 0 | ddev->skb_check_crc | 4046366672593752064,5169454857220059136,5308654517506834432,9192395490111180800 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_tg_recv_md_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_tg_recv_sdd_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_tg_recv_sel_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| PARAM_VALUE | 0 | ddev->driver_capabilities | 2-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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_tg_recv_sens_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 | 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_technology.c digital_tg_recv_sensf_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 | 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_dep.c digital_tg_recv_atr_req() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 | 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ddev->did | 0[u] |
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_dep.c digital_tg_send_atr_res_complete() -> digital_poll_next_tech()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ddev | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | ddev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ddev->chaining_skb->len |
net/nfc/digital_core.c digital_wq_poll() -> digital_poll_next_tech()
| 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 |
| CAPPED_DATA | 0 | &ddev->poll_lock | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |