Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/msg.c tipc_msg_build() -> msg_set_fragm_no()

Type Parameter Key Value
PARAM_VALUE 0 m 1250017158771159040
PARAM_VALUE 1 n 1
MEM_ZERO 0 m
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/tipc/msg.c tipc_msg_build() -> msg_set_fragm_no()

Type Parameter Key Value
PARAM_VALUE 0 m 1250017158771159040
MEM_ZERO 0 m
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/tipc/msg.c tipc_msg_fragment() -> msg_set_fragm_no()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
PARAM_VALUE 1 n 1-131072
BUF_SIZE 0 m 1-s32max
BUF_SIZE 0 m 1-s32max
CAPPED_DATA 1 n 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 m unit_byte
USER_PTR 0 m
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock