Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/nci/data.c nci_send_data() -> nci_queue_tx_data_frags()

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_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
PARAM_VALUE 2 skb->len 1-u32max
BUF_SIZE 0 ndev s32min-(-1),1-s32max
BUF_SIZE 0 ndev s32min-(-1),1-s32max
BUF_SIZE 2 skb (-1)-s32max
BUF_SIZE 2 skb (-1)-s32max
CAPPED_DATA 1 conn_id 1
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 conn_id $1
DATA_SOURCE 2 skb $2
STR_LEN 0 ndev (-1)-8
STR_LEN 0 ndev (-1)-8
RX_PATH
TASK_NOT_RUNNING
UNITS 0 ndev unit_byte
HALF_LOCKED2 &nfc_dev->dev.mutex
HALF_LOCKED2 0 &ndev->req_lock