Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/atm/common.c vcc_sendmsg() -> vcc_tx_ready()

Type Parameter Key Value
PARAM_VALUE 0 vcc 4096-ptr_max
PARAM_VALUE 0 vcc->qos.txtp.max_sdu s32min-(-1),1-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 vcc r ATM_SD
BIT_INFO 1 size 0x0,0x7ffffffc
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 0-s32max[c]
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/atm/common.c vcc_sendmsg() -> vcc_tx_ready()

Type Parameter Key Value
PARAM_VALUE 0 vcc 4096-ptr_max
PARAM_VALUE 0 vcc->qos.txtp.max_sdu s32min-(-1),1-s32max
PARAM_VALUE 0 vcc->sk_ack_backlog 0-4294967295
PARAM_VALUE 0 vcc->sk_allocation 0-4294967295
PARAM_VALUE 0 vcc->sk_bind_phc s32min-s32max
PARAM_VALUE 0 vcc->sk_bpf_cb_flags 0-255
PARAM_VALUE 0 vcc->sk_busy_poll_budget 0-u16max
PARAM_VALUE 0 vcc->sk_clockid 0-255
PARAM_VALUE 0 vcc->sk_disconnects s32min-s32max
PARAM_VALUE 0 vcc->sk_dst_pending_confirm 0-4294967295
PARAM_VALUE 0 vcc->sk_err s32min-s32max
PARAM_VALUE 0 vcc->sk_err_soft s32min-s32max
PARAM_VALUE 0 vcc->sk_forward_alloc s32min-s32max
PARAM_VALUE 0 vcc->sk_gso_disabled 0-1
PARAM_VALUE 0 vcc->sk_gso_max_segs 0-u16max
PARAM_VALUE 0 vcc->sk_gso_max_size 0-4294967295
PARAM_VALUE 0 vcc->sk_gso_type 0-u16max
PARAM_VALUE 0 vcc->sk_kern_sock 0-1
PARAM_VALUE 0 vcc->sk_ll_usec 0-4294967295
PARAM_VALUE 0 vcc->sk_mark 0-4294967295
PARAM_VALUE 0 vcc->sk_max_ack_backlog 0-4294967295
PARAM_VALUE 0 vcc->sk_napi_id 0-4294967295
PARAM_VALUE 0 vcc->sk_no_check_rx 0-1
PARAM_VALUE 0 vcc->sk_no_check_tx 0-1
PARAM_VALUE 0 vcc->sk_pacing_shift 0-255
PARAM_VALUE 0 vcc->sk_pacing_status 0-4294967295
PARAM_VALUE 0 vcc->sk_peek_off s32min-s32max
PARAM_VALUE 0 vcc->sk_prefer_busy_poll 0-255
PARAM_VALUE 0 vcc->sk_priority 0-4294967295
PARAM_VALUE 0 vcc->sk_protocol 0-u16max
PARAM_VALUE 0 vcc->sk_rcvbuf s32min-s32max
PARAM_VALUE 0 vcc->sk_rcvlowat s32min-s32max
PARAM_VALUE 0 vcc->sk_reserved_mem 0-4294967295
PARAM_VALUE 0 vcc->sk_rx_dst_cookie 0-4294967295
PARAM_VALUE 0 vcc->sk_rx_dst_ifindex s32min-s32max
PARAM_VALUE 0 vcc->sk_scm_credentials 0-1
PARAM_VALUE 0 vcc->sk_scm_pidfd 0-1
PARAM_VALUE 0 vcc->sk_scm_recv_flags 0-255
PARAM_VALUE 0 vcc->sk_scm_rights 0-1
PARAM_VALUE 0 vcc->sk_scm_security 0-1
PARAM_VALUE 0 vcc->sk_scm_unused 0-15
PARAM_VALUE 0 vcc->sk_shutdown 0-255
PARAM_VALUE 0 vcc->sk_sndbuf s32min-s32max
PARAM_VALUE 0 vcc->sk_tsflags 0-4294967295
PARAM_VALUE 0 vcc->sk_txhash 0-4294967295
PARAM_VALUE 0 vcc->sk_txrehash 0-255
PARAM_VALUE 0 vcc->sk_txtime_deadline_mode 0-1
PARAM_VALUE 0 vcc->sk_txtime_report_errors 0-1
PARAM_VALUE 0 vcc->sk_txtime_unused 0-63
PARAM_VALUE 0 vcc->sk_type 0-u16max
PARAM_VALUE 0 vcc->sk_use_task_frag 0-1
PARAM_VALUE 0 vcc->sk_userlocks 0-255
PARAM_VALUE 0 vcc->sk_wmem_queued s32min-s32max
PARAM_VALUE 0 vcc->sk_write_pending s32min-s32max
CAPPED_DATA 1 size 1
DATA_SOURCE 0 vcc r ATM_SD
BIT_INFO 1 size 0x0,0x7ffffffc
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 0-s32max[c]
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk