Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/hsi/clients/nokia-modem.c nokia_modem_probe() -> hsi_remove_client()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hsi/clients/nokia-modem.c nokia_modem_probe() -> hsi_remove_client()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hsi/clients/nokia-modem.c nokia_modem_remove() -> hsi_remove_client()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/hsi/clients/nokia-modem.c nokia_modem_remove() -> hsi_remove_client()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 data 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/base/core.c device_for_each_child() -> device_for_each_child param 2()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
DATA_SOURCE 0 dev r next_device
DATA_SOURCE 1 data $1