Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/nfc/nci/hci.c nci_hci_cmd_received() -> nci_hci_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->pipes | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->hci_cmd_received | 0,2978361983549399040 |
| PARAM_VALUE | 0 | *ndev->hci_dev->gate2pipe | 0-255 |
| PARAM_VALUE | 1 | pipe | 0-127 |
| PARAM_VALUE | 2 | data_type | 3,128 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | data_len | 0 |
| DATA_SOURCE | 0 | ndev | $0 |
| DATA_SOURCE | 1 | pipe | $1 |
| FUZZY_MAX | 2 | data_type | 128 |
| BIT_INFO | 2 | data_type | 0x0,0x83 |
| HARD_MAX | 2 | data_type | 128 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | pipe | 0-127[c] |
| HALF_LOCKED2 | &pool->lock |
net/nfc/nci/hci.c nci_hci_send_data_req() -> nci_hci_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 |
| BUF_SIZE | 3 | data | 1-9 |
| 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 |
| UNITS | 4 | data_len | unit_byte |
| HALF_LOCKED2 | &ndev->req_lock | ||
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | 0 | &ndev->req_lock |
net/nfc/nci/hci.c nci_hci_send_event() -> nci_hci_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->gate2pipe | 4096-ptr_max |
| PARAM_VALUE | 0 | ndev->ops->disable_se | 0,1169938961821376512 |
| PARAM_VALUE | 0 | ndev->ops->enable_se | 0,7245849656210124800 |
| PARAM_VALUE | 0 | ndev->ops->se_io | 0,1093042082371383296 |
| PARAM_VALUE | 1 | pipe | 0-127,129-255 |
| PARAM_VALUE | 2 | data_type | 64,80-97 |
| PARAM_VALUE | 4 | data_len | 0-u16max |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ndev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ndev | $0 |
| DATA_SOURCE | 3 | data | $3 |
| DATA_SOURCE | 4 | data_len | $4 |
| BIT_INFO | 2 | data_type | 0x40,0x7f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | *data | 0-255 |
| USER_PTR | 3 | data | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex |