Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/nfc/digital_technology.c digital_in_send_sel_req() -> digital_skb_add_crc_a()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->b2 | 112 |
| PARAM_VALUE | 0 | skb->data->sel_cmd | 147,149,151 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_technology.c digital_tg_send_sel_res() -> digital_skb_add_crc_a()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_in_send_ack() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 6 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| PARAM_VALUE | 0 | skb->data->pfb | 64-67 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_in_send_atn() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 6 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| PARAM_VALUE | 0 | skb->data->pfb | 128 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/nfc/digital_dep.c digital_in_send_atr_req() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->br | 0 |
| PARAM_VALUE | 0 | skb->data->bs | 0 |
| PARAM_VALUE | 0 | skb->data->cmd | 0 |
| PARAM_VALUE | 0 | skb->data->did | 0 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| PARAM_VALUE | 0 | skb->data->pp | 0,2,16-50 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct device)->mutex |
net/nfc/digital_dep.c digital_in_send_dep_req() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_send_dep_data_prep |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | skb->len | |
| HALF_LOCKED2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_in_send_nack() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 6 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/nfc/digital_dep.c digital_in_send_psl_req() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->brs | 18 |
| PARAM_VALUE | 0 | skb->data->cmd | 4 |
| PARAM_VALUE | 0 | skb->data->did | 0 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| PARAM_VALUE | 0 | skb->data->fsl | 0-3 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_in_send_rtox() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 6 |
| PARAM_VALUE | 0 | skb->data->dir | 212 |
| PARAM_VALUE | 0 | skb->data->pfb | 144 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_send_ack() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 7 |
| PARAM_VALUE | 0 | skb->data->dir | 213 |
| PARAM_VALUE | 0 | skb->data->pfb | 64-71 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_send_atn() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 7 |
| PARAM_VALUE | 0 | skb->data->dir | 213 |
| PARAM_VALUE | 0 | skb->data->pfb | 128,132 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| FUZZY_MAX | 0 | skb->data->pfb | 128 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_send_atr_res() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 1 |
| PARAM_VALUE | 0 | skb->data->dir | 213 |
| PARAM_VALUE | 0 | skb->data->pp | 0,2,16-50 |
| PARAM_VALUE | 0 | skb->data->to | 14 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/nfc/digital_dep.c digital_tg_send_dep_res() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_send_dep_data_prep |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | skb->end | |
| NO_OVERFLOW_SIMPLE | 0 | skb->len | |
| HALF_LOCKED2 | &dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_dep.c digital_tg_send_psl_res() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 0 | skb->data->cmd | 5 |
| PARAM_VALUE | 0 | skb->data->dir | 213 |
| PARAM_VALUE | 0 | skb->data_len | 0 |
| BUF_SIZE | 0 | skb | 0-s32max |
| BUF_SIZE | 0 | skb | 0-s32max |
| CAPPED_DATA | 0 | skb->head | 1 |
| DATA_SOURCE | 0 | skb | r digital_skb_alloc |
| RX_PATH | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/nfc/digital_core.c digital_in_send() -> (struct nfc_digital_dev)->skb_add_crc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| BUF_SIZE | 0 | skb | (-1)-s32max |
| DATA_SOURCE | 0 | skb | $2 |
| NOCHECK_CALL | |||
| LOCK2 | &nfc_dev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct device)->mutex |