Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/nfc/st-nci/se.c st_nci_hci_network_init() -> nci_hci_dev_session_init()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->cmd_q.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ndev->cmd_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 ndev->cur_dest_type 3
PARAM_VALUE 0 ndev->hci_dev 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->conn_info 1-u64max
PARAM_VALUE 0 ndev->hci_dev->init_data.gate_count 6
PARAM_VALUE 0 ndev->ops 4096-ptr_max
PARAM_VALUE 0 ndev->ops->discover_se 5124400766258196480
PARAM_VALUE 0 ndev->req_completion.done 0-4294967293,u32max
PARAM_VALUE 0 ndev->req_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 ndev->req_completion.wait.lock.owner (-1)
PARAM_VALUE 0 ndev->req_completion.wait.lock.owner_cpu u32max
PARAM_VALUE 0 ndev->req_completion.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ndev->req_completion.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ndev->req_result 0
PARAM_VALUE 0 ndev->req_status 0
PARAM_VALUE 0 ndev->tx_q.prev->next->next 4096-ptr_max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
DATA_SOURCE 0 ndev $0
RX_PATH
TASK_NOT_RUNNING
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