Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/nci/hci.c nci_hci_connect_gate() -> nci_hci_delete_pipe()

Type Parameter Key Value
PARAM_VALUE 0 ndev 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 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->conn_info->data_exchange_cb 3869093464605970432
PARAM_VALUE 0 ndev->hci_dev->conn_info->data_exchange_cb_context 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->conn_info->rx_skb->data 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->count_pipes 0
PARAM_VALUE 0 ndev->hci_dev->expected_pipes 0
PARAM_VALUE 0 ndev->hci_dev->gate2pipe 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->init_data.gate_count 6
PARAM_VALUE 0 ndev->hci_dev->init_data.gates 4096-ptr_max
PARAM_VALUE 0 ndev->ops 4096-ptr_max
PARAM_VALUE 0 ndev->ops->discover_se 5124400766258196480
PARAM_VALUE 0 ndev->ops->hci_load_session 0,6317225194690019328
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.lock.raw_lock.val.counter 0-s32max
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.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ndev->req_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ndev->req_lock.osq.tail.counter 0-s32max
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
PARAM_VALUE 0 ndev->tx_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 *ndev->hci_dev->gate2pipe 0-255
PARAM_VALUE 1 pipe 0-127
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 pipe r nci_hci_create_pipe
MEM_ZERO 0 ndev->hci_dev->gate2pipe
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ndev->hci_dev->conn_info->rx_skb->data->header 0-255[u]
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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