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 |