Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/core.c nfc_dev_down() -> (struct nfc_ops)->dev_down()

Type Parameter Key Value
PARAM_VALUE 0 nfc_dev 4096-ptr_max
PARAM_VALUE 0 nfc_dev->active_target 0
PARAM_VALUE 0 nfc_dev->dev_up 1
PARAM_VALUE 0 nfc_dev->ops 4096-ptr_max
PARAM_VALUE 0 nfc_dev->ops->dev_down 243348186522214400,1096150933579042816,4869152370686676992,8370718023299584000
PARAM_VALUE 0 nfc_dev->polling 0
PARAM_VALUE 0 nfc_dev->shutting_down 0
BUF_SIZE 0 nfc_dev (-1),1-s32max
BUF_SIZE 0 nfc_dev (-1),1-s32max
DATA_SOURCE 0 nfc_dev $0
CONTAINER 0 -8-2056+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &nfc_dev->dev.mutex
TYPE_LOCK (struct device)->mutex