Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/nfc/s3fwrn5/uart.c s3fwrn82_uart_remove() -> s3fwrn5_remove()

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

drivers/nfc/s3fwrn5/i2c.c s3fwrn5_i2c_probe() -> s3fwrn5_remove()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->cmd_timer.flags 0-4194302
PARAM_VALUE 0 ndev->data_timer.flags 0-4194302
PARAM_VALUE 0 ndev->ops 4568416871046291456
PARAM_VALUE 0 ndev->req_completion.wait.lock.magic 3735899821
PARAM_VALUE 0 ndev->req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ndev->req_completion.wait.lock.owner_cpu 4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/s3fwrn5/i2c.c s3fwrn5_i2c_remove() -> s3fwrn5_remove()

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