Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/tipc/link.c __tipc_build_gap_ack_blks() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 1-ptr_max
DATA_SOURCE 0 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &le->lock
HALF_LOCKED2 bh

net/tipc/link.c __tipc_build_gap_ack_blks() -> buf_seqno()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 skb unit_byte
HALF_LOCKED2 &le->lock
HALF_LOCKED2 bh

net/tipc/link.c __tipc_skb_dequeue() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 1-ptr_max
DATA_SOURCE 0 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-65024[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-u32max[c]
HOST_DATA 0 skb->len 0-u32max[c]
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->truesize
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c link_bc_rcv_gap() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 1-ptr_max
DATA_SOURCE 0 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh

net/tipc/link.c tipc_link_advance_transmq() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 skb unit_byte
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_build_bc_proto_msg() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 1-ptr_max
DATA_SOURCE 0 skb r skb_peek
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_build_nack_msg() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0,4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_build_proto_msg() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock

net/tipc/link.c tipc_link_tnl_prepare() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c tipc_link_tnl_rcv() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->alloc_cpu 0-u16max
PARAM_VALUE 0 skb->cloned 0-1
PARAM_VALUE 0 skb->csum 0-4294967295
PARAM_VALUE 0 skb->csum_complete_sw 0-1
PARAM_VALUE 0 skb->csum_level 0-3
PARAM_VALUE 0 skb->csum_not_inet 0-1
PARAM_VALUE 0 skb->csum_offset 0-u16max
PARAM_VALUE 0 skb->csum_valid 0-1
PARAM_VALUE 0 skb->data_len 0-4294967295
PARAM_VALUE 0 skb->decrypted 0-1
PARAM_VALUE 0 skb->dst_pending_confirm 0-1
PARAM_VALUE 0 skb->encap_hdr_csum 0-1
PARAM_VALUE 0 skb->encapsulation 0-1
PARAM_VALUE 0 skb->end 0-4294967295
PARAM_VALUE 0 skb->fclone 0-3
PARAM_VALUE 0 skb->from_ingress 0-1
PARAM_VALUE 0 skb->hash 0-4294967295
PARAM_VALUE 0 skb->hdr_len 0-u16max
PARAM_VALUE 0 skb->head_frag 0-1
PARAM_VALUE 0 skb->headers.alloc_cpu 0-u16max
PARAM_VALUE 0 skb->headers.csum 0-4294967295
PARAM_VALUE 0 skb->headers.csum_complete_sw 0-1
PARAM_VALUE 0 skb->headers.csum_level 0-3
PARAM_VALUE 0 skb->headers.csum_not_inet 0-1
PARAM_VALUE 0 skb->headers.csum_offset 0-u16max
PARAM_VALUE 0 skb->headers.csum_start 0-u16max
PARAM_VALUE 0 skb->headers.csum_valid 0-1
PARAM_VALUE 0 skb->headers.decrypted 0-1
PARAM_VALUE 0 skb->headers.dst_pending_confirm 0-1
PARAM_VALUE 0 skb->headers.encap_hdr_csum 0-1
PARAM_VALUE 0 skb->headers.encapsulation 0-1
PARAM_VALUE 0 skb->headers.from_ingress 0-1
PARAM_VALUE 0 skb->headers.hash 0-4294967295
PARAM_VALUE 0 skb->headers.ignore_df 0-1
PARAM_VALUE 0 skb->headers.inner_mac_header 0-u16max
PARAM_VALUE 0 skb->headers.inner_network_header 0-u16max
PARAM_VALUE 0 skb->headers.inner_protocol 0-u16max
PARAM_VALUE 0 skb->headers.inner_protocol_type 0-1
PARAM_VALUE 0 skb->headers.inner_transport_header 0-u16max
PARAM_VALUE 0 skb->headers.ip_summed 0-3
PARAM_VALUE 0 skb->headers.ipvs_property 0-1
PARAM_VALUE 0 skb->headers.l4_hash 0-1
PARAM_VALUE 0 skb->headers.mac_header 0-u16max
PARAM_VALUE 0 skb->headers.ndisc_nodetype 0-3
PARAM_VALUE 0 skb->headers.network_header 0-u16max
PARAM_VALUE 0 skb->headers.nf_skip_egress 0-1
PARAM_VALUE 0 skb->headers.nf_trace 0-1
PARAM_VALUE 0 skb->headers.no_fcs 0-1
PARAM_VALUE 0 skb->headers.offload_fwd_mark 0-1
PARAM_VALUE 0 skb->headers.offload_l3_fwd_mark 0-1
PARAM_VALUE 0 skb->headers.ooo_okay 0-1
PARAM_VALUE 0 skb->headers.pkt_type 0-7
PARAM_VALUE 0 skb->headers.priority 0-4294967295
PARAM_VALUE 0 skb->headers.protocol 0-u16max
PARAM_VALUE 0 skb->headers.redirected 0-1
PARAM_VALUE 0 skb->headers.remcsum_offload 0-1
PARAM_VALUE 0 skb->headers.reserved_tailroom 0-4294967295
PARAM_VALUE 0 skb->headers.secmark 0-4294967295
PARAM_VALUE 0 skb->headers.sender_cpu 0-4294967295
PARAM_VALUE 0 skb->headers.skb_iif s32min-s32max
PARAM_VALUE 0 skb->headers.slow_gro 0-1
PARAM_VALUE 0 skb->headers.sw_hash 0-1
PARAM_VALUE 0 skb->headers.tc_at_ingress 0-1
PARAM_VALUE 0 skb->headers.tc_depth 0-3
PARAM_VALUE 0 skb->headers.tc_index 0-u16max
PARAM_VALUE 0 skb->headers.tc_skip_classify 0-1
PARAM_VALUE 0 skb->headers.transport_header 0-u16max
PARAM_VALUE 0 skb->headers.tstamp_type 0-3
PARAM_VALUE 0 skb->headers.unreadable 0-1
PARAM_VALUE 0 skb->headers.vlan_all 0-4294967295
PARAM_VALUE 0 skb->headers.vlan_proto 0-u16max
PARAM_VALUE 0 skb->headers.vlan_tci 0-u16max
PARAM_VALUE 0 skb->headers.wifi_acked 0-1
PARAM_VALUE 0 skb->headers.wifi_acked_valid 0-1
PARAM_VALUE 0 skb->ignore_df 0-1
PARAM_VALUE 0 skb->inner_ipproto 0-255
PARAM_VALUE 0 skb->inner_protocol 0-u16max
PARAM_VALUE 0 skb->inner_protocol_type 0-1
PARAM_VALUE 0 skb->ip_summed 0-3
PARAM_VALUE 0 skb->ipvs_property 0-1
PARAM_VALUE 0 skb->l4_hash 0-1
PARAM_VALUE 0 skb->mac_len 0-u16max
PARAM_VALUE 0 skb->mark 0-4294967295
PARAM_VALUE 0 skb->napi_id 0-4294967295
PARAM_VALUE 0 skb->ndisc_nodetype 0-3
PARAM_VALUE 0 skb->next 0
PARAM_VALUE 0 skb->nf_skip_egress 0-1
PARAM_VALUE 0 skb->nf_trace 0-1
PARAM_VALUE 0 skb->no_fcs 0-1
PARAM_VALUE 0 skb->nohdr 0-1
PARAM_VALUE 0 skb->offload_fwd_mark 0-1
PARAM_VALUE 0 skb->offload_l3_fwd_mark 0-1
PARAM_VALUE 0 skb->ooo_okay 0-1
PARAM_VALUE 0 skb->peeked 0-1
PARAM_VALUE 0 skb->pkt_type 0-7
PARAM_VALUE 0 skb->pp_recycle 0-1
PARAM_VALUE 0 skb->prev 0
PARAM_VALUE 0 skb->priority 0-4294967295
PARAM_VALUE 0 skb->protocol 0-u16max
PARAM_VALUE 0 skb->redirected 0-1
PARAM_VALUE 0 skb->remcsum_offload 0-1
PARAM_VALUE 0 skb->reserved_tailroom 0-4294967295
PARAM_VALUE 0 skb->secmark 0-4294967295
PARAM_VALUE 0 skb->sender_cpu 0-4294967295
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 0 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 0 skb->sk->sk_callback_lock.owner_cpu u32max
PARAM_VALUE 0 skb->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 skb->sk->sk_filter 0
PARAM_VALUE 0 skb->sk->sk_frag.page 0
PARAM_VALUE 0 skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 skb->sk->sk_rcu.func 1-u64max
PARAM_VALUE 0 skb->sk->sk_rcu.next 0
PARAM_VALUE 0 skb->sk->sk_security 0
PARAM_VALUE 0 skb->skb_iif s32min-s32max
PARAM_VALUE 0 skb->sw_hash 0-1
PARAM_VALUE 0 skb->tc_at_ingress 0-1
PARAM_VALUE 0 skb->tc_depth 0-3
PARAM_VALUE 0 skb->tc_index 0-u16max
PARAM_VALUE 0 skb->tc_skip_classify 0-1
PARAM_VALUE 0 skb->truesize 0-4294967295
PARAM_VALUE 0 skb->tstamp_type 0-3
PARAM_VALUE 0 skb->unreadable 0-1
PARAM_VALUE 0 skb->users.refs.counter s32min-s32max
PARAM_VALUE 0 skb->vlan_all 0-4294967295
PARAM_VALUE 0 skb->vlan_proto 0-u16max
PARAM_VALUE 0 skb->vlan_tci 0-u16max
PARAM_VALUE 0 skb->wifi_acked 0-1
PARAM_VALUE 0 skb->wifi_acked_valid 0-1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->len
NO_OVERFLOW_SIMPLE 0 skb->tail
NO_OVERFLOW_SIMPLE 0 skb->truesize
UNITS 0 skb unit_byte
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_update_cwin() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c __tipc_skb_queue_sorted() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-65024[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-u32max[c]
HOST_DATA 0 skb->len 0-u32max[c]
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->truesize
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c __tipc_skb_queue_sorted() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 0-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-65024[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-u32max[c]
HOST_DATA 0 skb->len 0-u32max[c]
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c __tipc_skb_queue_sorted() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-65024[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-u32max[c]
HOST_DATA 0 skb->len 0-u32max[c]
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->truesize
UNITS 0 skb unit_byte
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/msg.c __tipc_skb_queue_sorted() -> buf_seqno()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-65024[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->data_len 0-u32max[c]
HOST_DATA 0 skb->len 0-u32max[c]
HOST_DATA 0 skb->truesize 0-u32max
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->truesize
UNITS 0 skb unit_byte
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read