tipc_link_is_up identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/tipc/link.h, line 97 (as a prototype)

Defined in 1 files as a function:

net/tipc/link.c, line 268 (as a function)

Referenced in 3 files:

Smatch caller information:

net/tipc/node.c __tipc_node_link_down() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	1-u64max
PARAM_VALUE	0	l->state	0-4294967295
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2		&n->lock
LOCK2		bh
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct tipc_node)->lock

net/tipc/node.c __tipc_node_link_up() -> tipc_link_is_up()

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

net/tipc/node.c __tipc_node_link_up() -> tipc_link_is_up()

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

net/tipc/node.c tipc_node_check_dest() -> tipc_link_is_up()

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

net/tipc/node.c tipc_node_check_state() -> tipc_link_is_up()

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

net/tipc/node.c tipc_node_check_state() -> tipc_link_is_up()

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

net/tipc/node.c tipc_node_check_state() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	1-u64max
PARAM_VALUE	0	l->state	0-4294967295
RX_PATH
TASK_NOT_RUNNING
LOCK2		&n->lock
LOCK2		bh
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct tipc_node)->lock

net/tipc/node.c tipc_node_check_state() -> tipc_link_is_up()

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

net/tipc/node.c tipc_node_link_failover() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
PARAM_VALUE	0	l->state	0-4294967295
DATA_SOURCE	0	l	$2
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_nl_add_link() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
DATA_SOURCE	0	l	$2
RX_PATH
TASK_NOT_RUNNING
LOCK2		&node->lock
LOCK2		bh
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct tipc_node)->lock

net/tipc/link.c tipc_link_bc_ack_rcv() -> tipc_link_is_up()

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->next->prev->end
NO_OVERFLOW_SIMPLE	0	l->inputq->next->prev->tail
LOCK2		bh
HALF_LOCKED2		&n->lock
HALF_LOCKED2		rcu_read

net/tipc/link.c tipc_link_bc_init_rcv() -> tipc_link_is_up()

Type	Parameter	Key	Value
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2		bh
HALF_LOCKED2		rcu_read

net/tipc/link.c tipc_link_bc_nack_rcv() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
PARAM_VALUE	0	l->state	2-u32max
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2		bh
HALF_LOCKED2		rcu_read

net/tipc/link.c tipc_link_bc_sync_rcv() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	l->acked	0-u16max
USER_DATA	0	l->last_gap	0-u16max
LOCK2		bh
HALF_LOCKED2		rcu_read

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

Type	Parameter	Key	Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	l->tolerance	0-u16max[c]
LOCK2		bh
HALF_LOCKED2		&le->lock
HALF_LOCKED2		&n->lock
HALF_LOCKED2		&node->lock

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

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_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
CAPPED_DATA	0	l->net->gen	1
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	l->bc_rcvlink->tolerance	0-u16max[c]
USER_DATA	0	l->net_plane	0-255[c]
USER_DATA	0	l->priority	0-u16max[c]
USER_DATA	0	l->tolerance	0-u16max[c]
NO_OVERFLOW_SIMPLE	0	l->inputq->prev->end
LOCK2		bh
HALF_LOCKED2		&le->lock
HALF_LOCKED2		&n->lock
HALF_LOCKED2		rcu_read

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

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
CAPPED_DATA	0	l	1
CAPPED_DATA	0	l->net->gen	1
CAPPED_DATA	0	l->rcv_nxt_state	1
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	l->bc_rcvlink->tolerance	0-u16max[c]
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->prev->end
LOCK2		bh
HALF_LOCKED2		&le->lock
HALF_LOCKED2		&n->lock
HALF_LOCKED2		rcu_read

net/tipc/link.c tipc_link_rcv() -> tipc_link_is_up()

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-65024[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-65024[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.next->prev->truesize	0-u32max
HOST_DATA	0	l->failover_deferdq.next->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	l->failover_deferdq.next->truesize	0-u32max
HOST_DATA	0	l->failover_deferdq.next->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	l->failover_deferdq.prev->csum	0-65024[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-65024[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]
HOST_DATA	0	l->failover_deferdq.prev->next->truesize	0-u32max
HOST_DATA	0	l->failover_deferdq.prev->next->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	l->failover_deferdq.prev->truesize	0-u32max
HOST_DATA	0	l->failover_deferdq.prev->users.refs.counter	s32min-0,2-s32max
LOCK2		bh
HALF_LOCKED2		&le->lock
HALF_LOCKED2		&n->lock
HALF_LOCKED2		rcu_read

net/tipc/link.c tipc_link_set_tolerance() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
DATA_SOURCE	0	l	$0
RX_PATH
TASK_NOT_RUNNING
LOCK2		bh
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&n->lock
HALF_LOCKED2		&net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2		&node->lock
HALF_LOCKED2		global &audit_cmd_mutex.lock
HALF_LOCKED2		global &cb_lock
HALF_LOCKED2		global &crypto_cfg_mutex
HALF_LOCKED2		global &dpll_lock
HALF_LOCKED2		global &hwsim_phys_lock
HALF_LOCKED2		global &net_dm_mutex
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2		global &rx_queue_mutex
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct tipc_node)->lock

net/tipc/link.c tipc_link_validate_msg() -> tipc_link_is_up()

Type	Parameter	Key	Value
PARAM_VALUE	0	l	4096-ptr_max
DATA_SOURCE	0	l	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	l->net_plane	0-255[c]
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		&n->lock
HALF_LOCKED2		rcu_read

net/tipc/bcast.c tipc_bcast_rcv() -> tipc_link_is_up()

Type	Parameter	Key	Value
DATA_SOURCE	0	l	$1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		rcu_read