Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_policy.c xfrm_bundle_create() -> xfrm_init_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->path 4096-ptr_max
PARAM_VALUE 1 dst 4096-ptr_max
PARAM_VALUE 1 dst->dev 1-u64max
BUF_SIZE 0 path->path (-1)-0,144,152
BUF_SIZE 1 dst (-1)-0,144,152
BUF_SIZE 1 dst (-1)-0,144,152
DATA_SOURCE 1 dst $5 [m]
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

net/xfrm/xfrm_policy.c xfrm_create_dummy_bundle() -> xfrm_init_path()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 dst 4096-ptr_max
PARAM_VALUE 2 nfheader_len 0
BUF_SIZE 0 path 144
BUF_SIZE 0 path 144
BIT_INFO 0 path->flags 0x40,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->ipv4.mfc_mutex
HALF_LOCKED2 &net->ipv6.mfc_mutex
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read