Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/nfc/nci/ntf.c nci_core_conn_intf_error_ntf_packet() -> nci_data_exchange_complete()
| 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->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 | 1 | skb | 0 |
| PARAM_VALUE | 2 | conn_id | 0-15 |
| PARAM_VALUE | 3 | err | (-5) |
| 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] |
| USER_DATA | 2 | conn_id | 0-15[c] |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/ntf.c nci_rf_deactivate_ntf_packet() -> nci_data_exchange_complete()
| 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 |
| PARAM_VALUE | 1 | skb | 0 |
| PARAM_VALUE | 2 | conn_id | 0 |
| PARAM_VALUE | 3 | err | (-5) |
| 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_close_device() -> nci_data_exchange_complete()
| 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->data_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | ndev->data_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | ndev->data_timer.function | 0 |
| 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_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 | 19 |
| PARAM_VALUE | 0 | ndev->req_status | 0,2-u32max |
| PARAM_VALUE | 1 | skb | 0 |
| PARAM_VALUE | 3 | err | (-19) |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &ndev->cmd_timer | 1 |
| CAPPED_DATA | 0 | &ndev->data_timer | 1 |
| 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 | 0 | &ndev->req_lock | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| TYPE_LOCK | (struct nci_dev)->req_lock |
net/nfc/nci/core.c nci_close_device() -> nci_data_exchange_complete()
| 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.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->cmd_q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->cmd_q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->cmd_q.prev->next->next | 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->data_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | ndev->data_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | ndev->data_timer.function | 0 |
| PARAM_VALUE | 0 | ndev->ops | 4096-ptr_max |
| 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->rx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->rx_q.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rx_q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->rx_q.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rx_q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->rx_q.qlen | 0 |
| PARAM_VALUE | 0 | ndev->tx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->tx_q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | ndev->tx_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | skb | 0 |
| PARAM_VALUE | 3 | err | (-19) |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | &ndev->cmd_q | 1 |
| CAPPED_DATA | 0 | &ndev->cmd_timer | 1 |
| CAPPED_DATA | 0 | &ndev->data_timer | 1 |
| CAPPED_DATA | 0 | &ndev->req_lock | 1 |
| CAPPED_DATA | 0 | &ndev->rx_q | 1 |
| CAPPED_DATA | 0 | &ndev->tx_q | 1 |
| DATA_SOURCE | 0 | ndev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ndev | unit_byte |
| LOCK2 | 0 | &ndev->req_lock | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| TYPE_LOCK | (struct nci_dev)->req_lock |
net/nfc/nci/core.c nci_rx_work() -> nci_data_exchange_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->rx_q.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->ats_len | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->hci_reader_gate | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->idx | 0-4294967295 |
| PARAM_VALUE | 0 | ndev->targets->is_iso15693 | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->iso15693_dsfid | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->logical_idx | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->nfcid1_len | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->nfcid2_len | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->sel_res | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->sens_res | 0-u16max |
| PARAM_VALUE | 0 | ndev->targets->sensb_res_len | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->sensf_res_len | 0-255 |
| PARAM_VALUE | 0 | ndev->targets->supported_protocols | 0-4294967295 |
| PARAM_VALUE | 0 | *ndev->supported_rf_interfaces | 0-255 |
| PARAM_VALUE | 1 | skb | 0 |
| PARAM_VALUE | 3 | err | (-110) |
| CAPPED_DATA | 0 | &ndev->rx_q | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ndev->cur_params.id | 0-255[u] |
| USER_DATA | 0 | ndev->driver_data->setup_patch_status | 0-255 |
| 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->max_size_for_large_params | 0-u16max[u] |
| USER_DATA | 0 | ndev->nci_ver | 0-255[u] |
| USER_DATA | 0 | ndev->nfcc_features | 0-u32max[u] |
| USER_DATA | 0 | *ndev->supported_rf_interfaces | 0-255 |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/data.c nci_add_rx_data_frag() -> nci_data_exchange_complete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->nfc_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->nfc_dev->rf_mode | 0,2-255 |
| 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 |
| PARAM_VALUE | 1 | skb | 0,4096-ptr_max |
| PARAM_VALUE | 1 | skb->next | 0 |
| PARAM_VALUE | 1 | skb->prev | 0 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | conn_id | 0-15 |
| PARAM_VALUE | 3 | err | (-12),0,142,144-146,166,182,185-186,200,218,240 |
| DATA_SOURCE | 0 | ndev | $0 |
| DATA_SOURCE | 1 | skb | $1 [m] |
| DATA_SOURCE | 2 | conn_id | $3 |
| BIT_INFO | 3 | err | 0x0,0xf4 |
| 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] |
| USER_DATA | 2 | conn_id | 0-15[c] |
| HALF_LOCKED2 | &pool->lock |