Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/llcp_core.c nfc_llcp_recv_agf() -> nfc_llcp_ptype()

Type Parameter Key Value
PARAM_VALUE 0 pdu 4096-ptr_max
PARAM_VALUE 0 pdu->data 4096-ptr_max
BUF_SIZE 0 pdu (-1)-s32max
BUF_SIZE 0 pdu (-1)-s32max
DATA_SOURCE 0 pdu $1
RX_PATH
HALF_LOCKED2 &pool->lock

net/nfc/llcp_core.c nfc_llcp_recv_hdlc() -> nfc_llcp_ptype()

Type Parameter Key Value
PARAM_VALUE 0 pdu 4096-ptr_max
PARAM_VALUE 0 pdu->data 4096-ptr_max
BUF_SIZE 0 pdu (-1)-s32max
BUF_SIZE 0 pdu (-1)-s32max
DATA_SOURCE 0 pdu $1
RX_PATH
HALF_LOCKED2 &pool->lock

net/nfc/llcp_core.c nfc_llcp_rx_skb() -> nfc_llcp_ptype()

Type Parameter Key Value
PARAM_VALUE 0 pdu 4096-ptr_max
BUF_SIZE 0 pdu (-1)-s32max
BUF_SIZE 0 pdu (-1)-s32max
DATA_SOURCE 0 pdu $1
RX_PATH
HALF_LOCKED2 &pool->lock

net/nfc/llcp_core.c nfc_llcp_tx_work() -> nfc_llcp_ptype()

Type Parameter Key Value
PARAM_VALUE 0 pdu 4096-ptr_max
DATA_SOURCE 0 pdu r skb_dequeue
HALF_LOCKED2 &pool->lock

net/nfc/llcp_core.c nfc_llcp_tx_work() -> nfc_llcp_ptype()

Type Parameter Key Value
PARAM_VALUE 0 pdu 4096-ptr_max
PARAM_VALUE 0 pdu->data 4096-ptr_max
DATA_SOURCE 0 pdu r skb_dequeue
HALF_LOCKED2 &pool->lock