Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
CAPPED_DATA 0 l 1
DATA_SOURCE 0 l $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 l->failover_deferdq.next->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->len 0-u32max[c]
USER_DATA 0 l->bc_rcvlink->tolerance 0-u16max[c]
USER_DATA 0 l->mon_state.acked_gen 0-u16max[u]
USER_DATA 0 l->mon_state.peer_gen 0-u16max
USER_DATA 0 l->net_plane 0-255[c]
USER_DATA 0 l->priority 0-u16max[c]
USER_DATA 0 l->rcv_nxt_state 0-u16max[c]
USER_DATA 0 l->tolerance 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 l->inputq->next->prev->tail
NO_OVERFLOW_SIMPLE 0 l->inputq->next->prev->truesize
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->len
NO_OVERFLOW_SIMPLE 0 l->transmq.prev->end
NO_OVERFLOW_SIMPLE 0 l->transmq.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 l->transmq.prev->next->end
NO_OVERFLOW_SIMPLE 0 l->transmq.prev->next->truesize
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 &node->lock

net/tipc/link.c tipc_link_proto_rcv() -> tipc_link_is_blocked()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
DATA_SOURCE 0 l $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read