Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nfc/fdp/fdp.c fdp_nci_send() -> (struct nfc_phy_ops)->write()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0
PARAM_VALUE 1 skb->sk 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $1
CONTAINER 0 *(-0-0+8) $(-1)
HALF_LOCKED2 &pool->lock

drivers/nfc/st21nfca/core.c st21nfca_hci_xmit() -> (struct nfc_phy_ops)->write()

Type Parameter Key Value
BUF_SIZE 0 phy_id 216
DATA_SOURCE 1 skb $1
CONTAINER 0 *(-0-0+8) $(-1)

drivers/nfc/microread/microread.c microread_xmit() -> (struct nfc_phy_ops)->write()

Type Parameter Key Value
BUF_SIZE 0 phy_id 24,120
DATA_SOURCE 1 skb $1
CONTAINER 0 *(-0-0+8) $(-1)

drivers/nfc/pn544/pn544.c pn544_hci_xmit() -> (struct nfc_phy_ops)->write()

Type Parameter Key Value
BUF_SIZE 0 phy_id 120,224
DATA_SOURCE 1 skb $1
CONTAINER 0 *(-0-0+8) $(-1)

drivers/nfc/st-nci/ndlc.c llt_ndlc_send_queue() -> (struct nfc_phy_ops)->write()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->len 0-s32max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
BUF_SIZE 0 phy_id 40
CAPPED_DATA 1 skb->len 1
DATA_SOURCE 1 skb r skb_dequeue
CONTAINER 0 *(-0-8+16) $(-1)
HALF_LOCKED2 &pool->lock