Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_tx.c smc_tx_should_cork() -> smc_tx_is_corked()

Type Parameter Key Value
PARAM_VALUE 0 smc 4096-ptr_max
CAPPED_DATA 0 smc->sk.__sk_common.skc_addrpair 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_bound_dev_if 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_daddr 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_dport 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_family 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_flags 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_hash 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_incoming_cpu 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net->dev_base_seq 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net->hash_mix 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net->ifindex 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_net.net->net_cookie 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_num 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_portpair 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_rcv_saddr 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_rcv_wnd 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_reuse 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_rx_queue_mapping 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_rxhash 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_state 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_tw_rcv_nxt 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_tw_snd_nxt 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_tx_queue_mapping 1
CAPPED_DATA 0 smc->sk.__sk_common.skc_window_clamp 1
CAPPED_DATA 0 smc->sk.sk_ack_backlog 1
CAPPED_DATA 0 smc->sk.sk_allocation 1
CAPPED_DATA 0 smc->sk.sk_backlog.len 1
CAPPED_DATA 0 smc->sk.sk_bind_phc 1
CAPPED_DATA 0 smc->sk.sk_bpf_cb_flags 1
CAPPED_DATA 0 smc->sk.sk_busy_poll_budget 1
CAPPED_DATA 0 smc->sk.sk_cgrp_data.classid 1
CAPPED_DATA 0 smc->sk.sk_cgrp_data.prioidx 1
CAPPED_DATA 0 smc->sk.sk_clockid 1
CAPPED_DATA 0 smc->sk.sk_disconnects 1
CAPPED_DATA 0 smc->sk.sk_drops.counter 1
CAPPED_DATA 0 smc->sk.sk_dst_pending_confirm 1
CAPPED_DATA 0 smc->sk.sk_err 1
CAPPED_DATA 0 smc->sk.sk_err_soft 1
CAPPED_DATA 0 smc->sk.sk_forward_alloc 1
CAPPED_DATA 0 smc->sk.sk_frag.offset 1
CAPPED_DATA 0 smc->sk.sk_frag.size 1
CAPPED_DATA 0 smc->sk.sk_freeptr.v 1
CAPPED_DATA 0 smc->sk.sk_gso_max_segs 1
CAPPED_DATA 0 smc->sk.sk_gso_max_size 1
CAPPED_DATA 0 smc->sk.sk_gso_type 1
CAPPED_DATA 0 smc->sk.sk_ino 1
CAPPED_DATA 0 smc->sk.sk_lingertime 1
CAPPED_DATA 0 smc->sk.sk_ll_usec 1
CAPPED_DATA 0 smc->sk.sk_lock.combined 1
CAPPED_DATA 0 smc->sk.sk_lock.owned 1
CAPPED_DATA 0 smc->sk.sk_mark 1
CAPPED_DATA 0 smc->sk.sk_max_ack_backlog 1
CAPPED_DATA 0 smc->sk.sk_max_pacing_rate 1
CAPPED_DATA 0 smc->sk.sk_napi_id 1
CAPPED_DATA 0 smc->sk.sk_omem_alloc.counter 1
CAPPED_DATA 0 smc->sk.sk_pacing_rate 1
CAPPED_DATA 0 smc->sk.sk_pacing_shift 1
CAPPED_DATA 0 smc->sk.sk_pacing_status 1
CAPPED_DATA 0 smc->sk.sk_peek_off 1
CAPPED_DATA 0 smc->sk.sk_prefer_busy_poll 1
CAPPED_DATA 0 smc->sk.sk_priority 1
CAPPED_DATA 0 smc->sk.sk_protocol 1
CAPPED_DATA 0 smc->sk.sk_rcvbuf 1
CAPPED_DATA 0 smc->sk.sk_rcvlowat 1
CAPPED_DATA 0 smc->sk.sk_rcvtimeo 1
CAPPED_DATA 0 smc->sk.sk_reserved_mem 1
CAPPED_DATA 0 smc->sk.sk_route_caps 1
CAPPED_DATA 0 smc->sk.sk_rx_dst_cookie 1
CAPPED_DATA 0 smc->sk.sk_rx_dst_ifindex 1
CAPPED_DATA 0 smc->sk.sk_scm_recv_flags 1
CAPPED_DATA 0 smc->sk.sk_scm_unused 1
CAPPED_DATA 0 smc->sk.sk_shutdown 1
CAPPED_DATA 0 smc->sk.sk_sndbuf 1
CAPPED_DATA 0 smc->sk.sk_sndtimeo 1
CAPPED_DATA 0 smc->sk.sk_stamp 1
CAPPED_DATA 0 smc->sk.sk_timer.expires 1
CAPPED_DATA 0 smc->sk.sk_timer.flags 1
CAPPED_DATA 0 smc->sk.sk_tsflags 1
CAPPED_DATA 0 smc->sk.sk_tskey.counter 1
CAPPED_DATA 0 smc->sk.sk_tsq_flags 1
CAPPED_DATA 0 smc->sk.sk_tx_queue_mapping_jiffies 1
CAPPED_DATA 0 smc->sk.sk_txhash 1
CAPPED_DATA 0 smc->sk.sk_txrehash 1
CAPPED_DATA 0 smc->sk.sk_txtime_unused 1
CAPPED_DATA 0 smc->sk.sk_type 1
CAPPED_DATA 0 smc->sk.sk_uid.val 1
CAPPED_DATA 0 smc->sk.sk_user_frags.xa_flags 1
CAPPED_DATA 0 smc->sk.sk_userlocks 1
CAPPED_DATA 0 smc->sk.sk_wmem_queued 1
CAPPED_DATA 0 smc->sk.sk_write_pending 1
CAPPED_DATA 0 smc->sk.sk_zckey.counter 1
DATA_SOURCE 0 smc $0
BIT_INFO 0 smc->sk.sk_shutdown 0x0,0xfd
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk