Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/nfc/fdp/fdp.c fdp_nci_send_patch() -> nci_send_data()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->cmd_cnt.counter 1
PARAM_VALUE 0 ndev->driver_data 4096-ptr_max
PARAM_VALUE 0 ndev->driver_data->ram_patch_version 0-4294967295
PARAM_VALUE 0 ndev->ops 4096-ptr_max
PARAM_VALUE 0 ndev->ops->init 0,8782083445668626432
PARAM_VALUE 0 ndev->ops->setup 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.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.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_lock.wait_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 ndev->req_result 0
PARAM_VALUE 0 ndev->req_status 0
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->data_len 0
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 2 skb 0-s32max
BUF_SIZE 2 skb 0-s32max
CAPPED_DATA 1 conn_id 1
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 conn_id $1
DATA_SOURCE 2 skb r nci_skb_alloc
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nfc_dev->dev.mutex
LOCK2 0 &ndev->req_lock
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

net/nfc/nci/core.c nci_send_data_req() -> nci_send_data()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->ops->disable_se 0,1169938961821376512
PARAM_VALUE 0 ndev->ops->discover_se 0,5124400766258196480
PARAM_VALUE 0 ndev->ops->enable_se 0,7245849656210124800
PARAM_VALUE 0 ndev->ops->hci_load_session 0,6317225194690019328
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
PARAM_VALUE 0 ndev->req_status 1
BUF_SIZE 0 ndev s32min-(-1),1-s32max
BUF_SIZE 0 ndev s32min-(-1),1-s32max
DATA_SOURCE 0 ndev $0
STR_LEN 0 ndev (-1)-8
STR_LEN 0 ndev (-1)-8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ndev unit_byte
HALF_LOCKED2 &ndev->req_lock
HALF_LOCKED2 &nfc_dev->dev.mutex
HALF_LOCKED2 0 &ndev->req_lock

net/nfc/nci/core.c nci_tm_send() -> nci_send_data()

Type Parameter Key Value
PARAM_VALUE 1 conn_id 0
PARAM_VALUE 2 skb 4096-ptr_max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
DATA_SOURCE 2 skb $1
UNITS 0 ndev unit_byte
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex

net/nfc/nci/core.c nci_transceive() -> nci_send_data()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->rf_conn_info 4096-ptr_max
PARAM_VALUE 0 ndev->target_active_prot 1-u32max
PARAM_VALUE 1 conn_id 0
PARAM_VALUE 2 skb 4096-ptr_max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 0 ndev s32min-(-2),1-s32max
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
DATA_SOURCE 2 skb $2
UNITS 0 ndev unit_byte
LOCK2 &nfc_dev->dev.mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct device)->mutex

net/nfc/nci/hci.c nci_hci_send_data() -> nci_send_data()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->conn_info 4096-ptr_max
PARAM_VALUE 0 ndev->ops->disable_se 0,1169938961821376512
PARAM_VALUE 0 ndev->ops->discover_se 0,5124400766258196480
PARAM_VALUE 0 ndev->ops->enable_se 0,7245849656210124800
PARAM_VALUE 0 ndev->ops->hci_cmd_received 0,2978361983549399040
PARAM_VALUE 0 ndev->ops->hci_load_session 0,6317225194690019328
PARAM_VALUE 0 ndev->ops->init 0,8782083445668626432
PARAM_VALUE 0 ndev->ops->post_setup 0,2081724076561776640,3317669546448752640
PARAM_VALUE 0 ndev->ops->se_io 0,1093042082371383296
PARAM_VALUE 0 ndev->ops->setup 0,5634939265862148096,6077193304604819456
PARAM_VALUE 2 skb 4096-ptr_max
BUF_SIZE 0 ndev s32min-(-1),1-s32max
BUF_SIZE 0 ndev s32min-(-1),1-s32max
BUF_SIZE 2 skb 0-s32max
BUF_SIZE 2 skb 0-s32max
CAPPED_DATA 2 skb->head 1
DATA_SOURCE 0 ndev $0
DATA_SOURCE 2 skb r nci_skb_alloc
STR_LEN 0 ndev (-1)-8
STR_LEN 0 ndev (-1)-8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ndev unit_byte
HALF_LOCKED2 0 &ndev->req_lock