Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c tipc_send_group_anycast() -> tipc_dest_pop()

Type Parameter Key Value
PARAM_VALUE 0 l 5110747972567502848
PARAM_VALUE 0 l->next 5110747972567502848
PARAM_VALUE 0 l->prev 5110747972567502848
PARAM_VALUE 1 node 8655292659877113856
PARAM_VALUE 2 port 7719189325979656192
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/tipc/socket.c tipc_send_group_mcast() -> tipc_dest_pop()

Type Parameter Key Value
PARAM_VALUE 0 l 8969530553353453568
PARAM_VALUE 0 l->next 8969530553353453568
PARAM_VALUE 0 l->prev 8969530553353453568
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 port 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *node 0-u32max[u]
USER_DATA 2 *port 0-u32max[u]
USER_PTR 1 node
USER_PTR 2 port
HALF_LOCKED2 sk

net/tipc/socket.c tipc_sk_mcast_rcv() -> tipc_dest_pop()

Type Parameter Key Value
PARAM_VALUE 0 l 1704268905002930176
PARAM_VALUE 0 l->prev 1704268905002930176
PARAM_VALUE 1 node 0
PARAM_VALUE 2 port 2603014733264199680
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/tipc/socket.c tipc_sk_mcast_rcv() -> tipc_dest_pop()

Type Parameter Key Value
PARAM_VALUE 0 l 1704268905002930176
PARAM_VALUE 0 l->prev 1704268905002930176
PARAM_VALUE 1 node 0
PARAM_VALUE 2 port 2603014733264199680
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read