Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/nfc/rawsock.c rawsock_sendmsg() -> nfc_alloc_send_skb()

Type Parameter Key Value
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 4 err 356194527462043648
DATA_SOURCE 3 size $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 flags 0-u32max[c]
USER_DATA 3 size 0-u32max
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
UNITS 1 sk unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/nfc/llcp_commands.c llcp_allocate_pdu() -> nfc_alloc_send_skb()

Type Parameter Key Value
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 flags 64
PARAM_VALUE 3 size 2-2178
PARAM_VALUE 4 err 6304345501941551104
CAPPED_DATA 3 size 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 3-2178[c]
HALF_LOCKED2 &sock->sk
HALF_LOCKED2 sk

net/nfc/llcp_commands.c nfc_llcp_send_ui_frame() -> nfc_alloc_send_skb()

Type Parameter Key Value
PARAM_VALUE 1 sk 4096-ptr_max
PARAM_VALUE 2 flags 0
PARAM_VALUE 3 size 2-65537
PARAM_VALUE 4 err 2736354229298688000
CAPPED_DATA 3 size 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 2-65537[c]
HALF_LOCKED2 &vq->mutex