Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->hci_dev->init_data.gates->gate 0-255
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->data_len 0
PARAM_VALUE 3 pbf 0-1
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 1 conn_id 1
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 conn_id $1
DATA_SOURCE 2 skb r nci_skb_alloc
FUZZY_MAX 3 pbf 1
STR_LEN 0 ndev (-1)-8
STR_LEN 0 ndev (-1)-8
HARD_MAX 3 pbf 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ndev unit_byte
HALF_LOCKED2 &nfc_dev->dev.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 0 &ndev->req_lock

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

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 0-255
PARAM_VALUE 3 pbf 0
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
CAPPED_DATA 2 skb->len 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
NOCHECK_CALL
UNITS 0 ndev unit_byte
HALF_LOCKED2 &nfc_dev->dev.mutex
HALF_LOCKED2 0 &ndev->req_lock