Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/nfc/nci/rsp.c nci_rf_deactivate_rsp_packet() -> nci_clear_target_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->cmd_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | ndev->cmd_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | ndev->cmd_timer.function | 0 |
| PARAM_VALUE | 0 | ndev->ops->core_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->prop_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->idx | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->targets->supported_protocols | 0-4294967295 |
| DATA_SOURCE | 0 | ndev | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ndev->cur_params.id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->conn_info->conn_id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->nfcee_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_specific_info | 0-u32max[u] |
| USER_DATA | 0 | ndev->max_ctrl_pkt_payload_len | 0-255[u] |
| USER_DATA | 0 | ndev->max_logical_connections | 0-255[u] |
| USER_DATA | 0 | ndev->max_routing_table_size | 0-u16max[u] |
| USER_DATA | 0 | ndev->nci_ver | 0-255[u] |
| USER_DATA | 0 | ndev->nfcc_features | 0-u32max[u] |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/ntf.c nci_rf_deactivate_ntf_packet() -> nci_clear_target_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->core_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->prop_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rf_conn_info | 1-u64max |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly | 0 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->idx | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->targets->supported_protocols | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->tx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->tx_q.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->tx_q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_q.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->tx_q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_q.qlen | 0 |
| CAPPED_DATA | 0 | &ndev->tx_q | 1 |
| DATA_SOURCE | 0 | ndev | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ndev->cur_params.id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->conn_info->conn_id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->nfcee_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_specific_info | 0-u32max[u] |
| USER_DATA | 0 | ndev->max_ctrl_pkt_payload_len | 0-255[u] |
| USER_DATA | 0 | ndev->max_logical_connections | 0-255[u] |
| USER_DATA | 0 | ndev->max_routing_table_size | 0-u16max[u] |
| USER_DATA | 0 | ndev->nci_ver | 0-255[u] |
| USER_DATA | 0 | ndev->nfcc_features | 0-u32max[u] |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/ntf.c nci_rf_deactivate_ntf_packet() -> nci_clear_target_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->core_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->prop_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rf_conn_info | 1-u64max |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly | 0 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | ndev->rx_data_reassembly->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->rx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->idx | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->targets->supported_protocols | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->tx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->tx_q.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->tx_q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_q.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->tx_q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_q.qlen | 0 |
| CAPPED_DATA | 0 | &ndev->tx_q | 1 |
| DATA_SOURCE | 0 | ndev | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ndev->cur_params.id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->conn_info->conn_id | 0-255[u] |
| USER_DATA | 0 | ndev->hci_dev->nfcee_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_id | 0-255[u] |
| USER_DATA | 0 | ndev->manufact_specific_info | 0-u32max[u] |
| USER_DATA | 0 | ndev->max_ctrl_pkt_payload_len | 0-255[u] |
| USER_DATA | 0 | ndev->max_logical_connections | 0-255[u] |
| USER_DATA | 0 | ndev->max_routing_table_size | 0-u16max[u] |
| USER_DATA | 0 | ndev->nci_ver | 0-255[u] |
| USER_DATA | 0 | ndev->nfcc_features | 0-u32max[u] |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/core.c nci_open_device() -> nci_clear_target_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->cmd_cnt.counter | 1 |
| PARAM_VALUE | 0 | ndev->cmd_q.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->init | 0,8782083445668626432 |
| PARAM_VALUE | 0 | ndev->ops->post_setup | 0,2081724076561776640,3317669546448752640 |
| PARAM_VALUE | 0 | ndev->ops->setup | 0,5634939265862148096,6077193304604819456 |
| 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_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->req_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ndev->req_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ndev->req_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ndev->req_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->req_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ndev->req_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ndev->req_result | 0 |
| PARAM_VALUE | 0 | ndev->req_status | 0 |
| PARAM_VALUE | 0 | ndev->tx_work.entry.next->prev | 4096-ptr_max |
| BUF_SIZE | 0 | ndev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ndev | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ndev->req_lock | 1 |
| DATA_SOURCE | 0 | ndev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ndev | unit_byte |
| LOCK2 | &nfc_dev->dev.mutex | ||
| LOCK2 | 0 | &ndev->req_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 |