Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

drivers/nfc/fdp/i2c.c fdp_nci_i2c_irq_thread_fn() -> nci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 *skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/nfc/st-nci/ndlc.c llt_ndlc_rcv_queue() -> nci_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->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 1 skb r skb_dequeue
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/nfc/s3fwrn5/core.c s3fwrn5_recv_frame() -> nci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb (-1),3-260
BUF_SIZE 1 skb (-1),3-260
DATA_SOURCE 0 ndev $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buf->lock
HALF_LOCKED2 &phy->common.mutex
HALF_LOCKED2 &pool->lock

drivers/nfc/nxp-nci/i2c.c nxp_nci_i2c_irq_thread_fn() -> nci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
CAPPED_DATA 1 skb 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &info->info_lock
TYPE_LOCK (struct nxp_nci_info)->info_lock

drivers/nfc/virtual_ncidev.c virtual_ncidev_write() -> nci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
BUF_SIZE 1 skb 0-1000000000,2147479552
BUF_SIZE 1 skb 0-1000000000,2147479552
DATA_SOURCE 1 skb r alloc_skb
NOCHECK_CALL

drivers/nfc/nfcmrvl/main.c nfcmrvl_nci_recv_frame() -> nci_recv_frame()

Type Parameter Key Value
PARAM_VALUE 0 ndev 4096-ptr_max
PARAM_VALUE 0 ndev->nfc_dev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &nu->rx_lock