Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/nfc/hci/hcp.c nfc_hci_hcp_message_rx() -> nfc_hci_cmd_received()

Type Parameter Key Value
PARAM_VALUE 0 hdev 4096-ptr_max
PARAM_VALUE 0 hdev->msg_rx_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 cmd 0-63
PARAM_VALUE 3 skb 4096-ptr_max
PARAM_VALUE 3 skb->data 4096-ptr_max
PARAM_VALUE 3 skb->next 0
PARAM_VALUE 3 skb->prev 0
DATA_SOURCE 0 hdev $0
DATA_SOURCE 1 pipe $1
DATA_SOURCE 2 cmd $3
DATA_SOURCE 3 skb $4
RX_PATH
NOCHECK_CALL
USER_DATA 1 pipe 0-255
USER_DATA 2 cmd 0-63[c]
HALF_LOCKED2 &pool->lock