Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/nfc/hci/command.c nfc_hci_execute_cmd() -> nfc_hci_hcp_message_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->init_data.gates->gate | 0-2,4-6,17-21,25,36,48-50,65,144,148,160-161,240 |
| PARAM_VALUE | 0 | hdev->ops->check_presence | 0,6842429515381661696,8643510330510884864 |
| PARAM_VALUE | 0 | hdev->ops->complete_target_discovered | 2578432759310467072,6143497454773673984,8809465825763397632 |
| PARAM_VALUE | 0 | hdev->ops->dep_link_down | 5057036978114932736,6313822096516403200,7930923624526036992 |
| PARAM_VALUE | 0 | hdev->ops->dep_link_up | 1335147448279359488,5903939832948645888,8908171238126723072 |
| PARAM_VALUE | 0 | hdev->ops->disable_se | 0,2702638623372668928,7201208658706321408 |
| PARAM_VALUE | 0 | hdev->ops->discover_se | 0,4818450538328551424,8318108203530334208 |
| PARAM_VALUE | 0 | hdev->ops->enable_se | 0,639148441343438848,3492831392662888448 |
| PARAM_VALUE | 0 | hdev->ops->event_received | 1156217942752169984,1895063588317057024,4374398730136637440 |
| PARAM_VALUE | 0 | hdev->ops->hci_ready | 5114601150466883584,6670702944343916544,8627932683244400640 |
| PARAM_VALUE | 0 | hdev->ops->load_session | 0,7118558307057455104 |
| PARAM_VALUE | 0 | hdev->ops->open | 6372492339431485440,6521110834225045504,6652152596844179456 |
| PARAM_VALUE | 0 | hdev->ops->start_poll | 1225038050895134720,3806125492946878464,8421225152581263360 |
| PARAM_VALUE | 0 | hdev->ops->stop_poll | 0,416494080555679744 |
| PARAM_VALUE | 0 | hdev->ops->target_from_gate | 3000229578665795584,5758146192623042560,8948586557165420544 |
| PARAM_VALUE | 0 | *hdev->gate2pipe | 0-255 |
| PARAM_VALUE | 1 | pipe | 0-127,129-255 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | instruction | 1-4,16-20,32-33,48,50,63 |
| PARAM_VALUE | 5 | payload_len | 0-4000000 |
| PARAM_VALUE | 7 | cb_context | 890388131157987328 |
| PARAM_VALUE | 8 | completion_delay | 4949 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev->gb | (-1),48 |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| BUF_SIZE | 7 | cb_context | 24 |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | pipe | $1 |
| DATA_SOURCE | 3 | instruction | $2 |
| DATA_SOURCE | 4 | payload | $3 |
| DATA_SOURCE | 5 | payload_len | $4 |
| FUZZY_MAX | 5 | payload_len | 2 |
| STR_LEN | 0 | hdev | (-1)-8 |
| STR_LEN | 0 | hdev | (-1)-8 |
| HARD_MAX | 3 | instruction | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | hdev->sw_flashlib_major | 0-255 |
| USER_DATA | 0 | hdev->sw_flashlib_minor | 0-255 |
| USER_DATA | 0 | hdev->sw_patch | 0-15[c] |
| USER_DATA | 0 | hdev->sw_romlib | 0-15[c] |
| USER_DATA | 1 | pipe | 0-127,129-255[u] |
| USER_DATA | 4 | *payload | 0-255 |
| UNITS | 0 | hdev | unit_byte |
| UNITS | 4 | payload | unit_byte |
| UNITS | 5 | payload_len | unit_byte |
| USER_PTR | 4 | payload | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &nfc_dev->genl_data.genl_data_mutex |
net/nfc/hci/command.c nfc_hci_execute_cmd_async() -> nfc_hci_hcp_message_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->gate2pipe | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ops->dep_link_up | 1335147448279359488,5903939832948645888,8908171238126723072 |
| PARAM_VALUE | 0 | hdev->ops->im_transceive | 1036725058525425664,5717870902715117568,9108918625211588608 |
| PARAM_VALUE | 1 | pipe | 0-127,129-255 |
| PARAM_VALUE | 2 | type | 0 |
| PARAM_VALUE | 3 | instruction | 16,32-33,35,62 |
| PARAM_VALUE | 7 | cb_context | 0,4096-ptr_max |
| PARAM_VALUE | 8 | completion_delay | 4949 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| BUF_SIZE | 7 | cb_context | s32min-(-1),1-s32max |
| BUF_SIZE | 7 | cb_context | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | pipe | $1 |
| DATA_SOURCE | 3 | instruction | $2 |
| DATA_SOURCE | 4 | payload | $3 |
| DATA_SOURCE | 5 | payload_len | $4 |
| DATA_SOURCE | 6 | cb | $5 |
| DATA_SOURCE | 7 | cb_context | $6 |
| HARD_MAX | 3 | instruction | 62 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | *payload | 0-255 |
| NO_OVERFLOW_SIMPLE | 5 | payload_len | |
| UNITS | 0 | hdev | unit_byte |
| UNITS | 4 | payload | unit_byte |
| UNITS | 5 | payload_len | unit_byte |
| UNITS | 7 | cb_context | unit_byte |
| USER_PTR | 4 | payload | |
| HALF_LOCKED2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/hci/command.c nfc_hci_send_event() -> nfc_hci_hcp_message_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->gate2pipe | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->init_data.gates->gate | 0-2,4-6,17-21,25,36,48-50,65,144,148,160-161,240 |
| PARAM_VALUE | 0 | hdev->ops->dep_link_down | 5057036978114932736,6313822096516403200,7930923624526036992 |
| PARAM_VALUE | 0 | hdev->ops->disable_se | 0,2702638623372668928,7201208658706321408 |
| PARAM_VALUE | 0 | hdev->ops->discover_se | 0,4818450538328551424,8318108203530334208 |
| PARAM_VALUE | 0 | hdev->ops->enable_se | 0,639148441343438848,3492831392662888448 |
| PARAM_VALUE | 0 | hdev->ops->event_received | 1156217942752169984,1895063588317057024,4374398730136637440 |
| PARAM_VALUE | 0 | hdev->ops->hci_ready | 5114601150466883584,6670702944343916544,8627932683244400640 |
| PARAM_VALUE | 0 | hdev->ops->im_transceive | 1036725058525425664,5717870902715117568,9108918625211588608 |
| PARAM_VALUE | 0 | hdev->ops->open | 6372492339431485440,6521110834225045504,6652152596844179456 |
| PARAM_VALUE | 0 | hdev->ops->se_io | 0,5357959923401035776 |
| PARAM_VALUE | 0 | hdev->ops->start_poll | 1225038050895134720,3806125492946878464,8421225152581263360 |
| PARAM_VALUE | 0 | hdev->ops->stop_poll | 0,416494080555679744 |
| PARAM_VALUE | 0 | hdev->ops->tm_send | 72486079321001984,3468748121110589440,8642303094851428352 |
| PARAM_VALUE | 0 | *hdev->gate2pipe | 0-255 |
| PARAM_VALUE | 1 | pipe | 0-127,129-255 |
| PARAM_VALUE | 2 | type | 1 |
| PARAM_VALUE | 3 | instruction | 1-3,16-17,19,22,32-35,62 |
| PARAM_VALUE | 6 | cb | 0 |
| PARAM_VALUE | 7 | cb_context | 0 |
| PARAM_VALUE | 8 | completion_delay | 0 |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hdev | s32min-(-1),1-s32max |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| BUF_SIZE | 4 | payload | (-1),1-s32max |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 3 | instruction | $2 |
| DATA_SOURCE | 4 | payload | $3 |
| DATA_SOURCE | 5 | payload_len | $4 |
| FUZZY_MAX | 3 | instruction | 35 |
| HARD_MAX | 3 | instruction | 62 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | *payload | 0-255 |
| NO_OVERFLOW_SIMPLE | 5 | payload_len | |
| UNITS | 0 | hdev | unit_byte |
| UNITS | 4 | payload | unit_byte |
| UNITS | 5 | payload_len | unit_byte |
| USER_PTR | 4 | payload | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &nfc_dev->genl_data.genl_data_mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/hci/core.c nfc_hci_cmd_received() -> nfc_hci_hcp_message_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hdev | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->msg_rx_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hdev->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | hdev->ops->cmd_received | 0,6125491333485965312 |
| PARAM_VALUE | 0 | *hdev->gate2pipe | 0-255 |
| PARAM_VALUE | 2 | type | 2 |
| PARAM_VALUE | 3 | instruction | 0,3 |
| PARAM_VALUE | 4 | payload | 0 |
| PARAM_VALUE | 5 | payload_len | 0 |
| PARAM_VALUE | 6 | cb | 0 |
| PARAM_VALUE | 7 | cb_context | 0 |
| PARAM_VALUE | 8 | completion_delay | 0 |
| DATA_SOURCE | 0 | hdev | $0 |
| DATA_SOURCE | 1 | pipe | $1 |
| FUZZY_MAX | 3 | instruction | 3 |
| HARD_MAX | 3 | instruction | 3 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | pipe | 0-255 |
| HALF_LOCKED2 | &pool->lock |