Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/nfc/core.c nfc_unregister_device() -> nfc_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->ops->activate_target 1350527993488265216,2090455160799363072,5811113038757195776,7190532993760436224
PARAM_VALUE 0 dev->ops->deactivate_target 2858505644636377088,3505303411679371264,5287386874550202368,5538608275120844800
PARAM_VALUE 0 dev->ops->im_transceive 3757027147600400384,6796097066707775488,7791576850691203072,8294741778791845888
PARAM_VALUE 0 dev->ops->start_poll 97016609647321088,4977140339538804736,5010152465821687808,7688295346357948416
PARAM_VALUE 0 dev->ops->stop_poll 320249344774709248,3924151257180327936,4176340183763841024,7367369938005217280
PARAM_VALUE 0 dev->rfkill 0
PARAM_VALUE 0 dev->shutting_down 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/nfc/nci/core.c nci_unregister_device() -> nfc_remove_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rfkill 0
PARAM_VALUE 0 dev->shutting_down 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->info_lock