Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/nfc/st21nfca/i2c.c st21nfca_hci_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/st21nfca/i2c.c st21nfca_hci_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/st21nfca/i2c.c st21nfca_hci_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/mei_phy.c nfc_mei_rx_cb() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data->cmd 0,2-255
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 310
BUF_SIZE 1 skb 310
DATA_SOURCE 1 skb r alloc_skb
RX_PATH
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/nfc/pn544/i2c.c pn544_hci_i2c_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/pn544/i2c.c pn544_hci_i2c_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->len 0-s32max
CAPPED_DATA 1 skb 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/microread/i2c.c microread_i2c_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/microread/i2c.c microread_i2c_irq_thread_fn() -> nfc_hci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->len 0-s32max
CAPPED_DATA 1 skb 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL