Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/s3fwrn5/firmware.c s3fwrn5_write() -> (struct s3fwrn5_phy_ops)->write()

Type Parameter Key Value
PARAM_VALUE 1 out 4096-ptr_max
PARAM_VALUE 1 out->data_len 0
BUF_SIZE 0 phy_id 200,208
DATA_SOURCE 1 out $1
CONTAINER 0 *(-24-24+8) $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ndev->req_lock
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &dev->ethtool->rss_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct device)->mutex
TYPE_LOCK (struct nci_dev)->req_lock

drivers/nfc/s3fwrn5/core.c s3fwrn5_write() -> (struct s3fwrn5_phy_ops)->write()

Type Parameter Key Value
PARAM_VALUE 1 out 4096-ptr_max
PARAM_VALUE 1 out->destructor 0
PARAM_VALUE 1 out->sk 0
BUF_SIZE 0 phy_id 200,208
BUF_SIZE 1 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 1 out $1
CONTAINER 0 *(-24-24+8) $(-1)
LOCK2 &info->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct s3fwrn5_info)->mutex