Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/inet_fragment.c inet_frag_create() -> inet_frag_alloc()

Type Parameter Key Value
PARAM_VALUE 0 fqdir 4096-ptr_max
PARAM_VALUE 0 fqdir->f 4096-ptr_max
PARAM_VALUE 0 fqdir->high_thresh s64min-(-1),1-s64max
PARAM_VALUE 0 fqdir->rhashtable.p.hashfn 4096-ptr_max
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 2 arg 2165679980716814336,4646859267479388160,5962529527155310592,7917205604096327680
BUF_SIZE 2 arg 20,40,44
BUF_SIZE 2 arg 20,40,44
DATA_SOURCE 0 fqdir $0
DATA_SOURCE 2 arg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read