Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/nfc/fdp/fdp.c fdp_nci_remove() -> nci_unregister_device()

Type Parameter Key Value
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/nfc/nxp-nci/core.c nxp_nci_remove() -> nci_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->info_lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct nxp_nci_info)->info_lock

drivers/nfc/s3fwrn5/core.c s3fwrn5_remove() -> nci_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/nfc/virtual_ncidev.c virtual_ncidev_close() -> nci_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/nfcmrvl/main.c nfcmrvl_nci_unregister_dev() -> nci_unregister_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/nfc/st-nci/core.c st_nci_remove() -> nci_unregister_device()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex