Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/port100.c port100_switch_rf() -> port100_abort_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 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_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
BUF_SIZE 0 ddev s32min-(-1),1-s32max
BUF_SIZE 0 ddev s32min-(-1),1-s32max
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
HALF_LOCKED2 &nfc_dev->dev.mutex

net/nfc/digital_core.c digital_abort_cmd() -> (struct nfc_digital_ops)->abort_cmd()

Type Parameter Key Value
PARAM_VALUE 0 ddev 4096-ptr_max
PARAM_VALUE 0 ddev->ops 4096-ptr_max
BUF_SIZE 0 ddev s32min-(-2),1-s32max
BUF_SIZE 0 ddev s32min-(-2),1-s32max
DATA_SOURCE 0 ddev $0
CONTAINER 0 -72-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &nfc_dev->genl_data.genl_data_mutex
TYPE_LOCK (struct device)->mutex