Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->dsap 0-63
PARAM_VALUE 0 sock->local->tx_queue.next 4096-ptr_max
PARAM_VALUE 0 sock->local->tx_queue.prev 4096-ptr_max
PARAM_VALUE 0 sock->local->tx_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sock->remote_ready 0-1
PARAM_VALUE 0 sock->send_ack_n 0-15
PARAM_VALUE 0 sock->sk.__sk_common.skc_state 0-2,4-255
PARAM_VALUE 0 sock->sk.sk_lock.owned 1
PARAM_VALUE 0 sock->sk.sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sock->sk.sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sock->sk.sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sock->sk.sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sock->ssap 0-63
CAPPED_DATA 0 sock->dsap 1
CAPPED_DATA 0 sock->send_ack_n 1
CAPPED_DATA 0 sock->ssap 1
DATA_SOURCE 0 sock r nfc_llcp_sock_get
RX_PATH
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &pool->lock