Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_find_acq() -> __find_acq_core()

Type Parameter Key Value
PARAM_VALUE 0 net->xfrm.xfrm_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 m 5763084602951303168,8328993672048353280
PARAM_VALUE 6 pcpu_num 0-2147483646,u32max
PARAM_VALUE 7 proto 50-51,108,255
PARAM_VALUE 8 daddr 0,4096-ptr_max
PARAM_VALUE 9 saddr 0,4096-ptr_max
PARAM_VALUE 10 create 1
BUF_SIZE 8 daddr 0,4,16
BUF_SIZE 8 daddr 0,4,16
BUF_SIZE 9 saddr (-1)-0,4,16
BUF_SIZE 9 saddr (-1)-0,4,16
CAPPED_DATA 6 pcpu_num 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 m $1
DATA_SOURCE 2 family $10
DATA_SOURCE 3 mode $2
DATA_SOURCE 4 reqid $3
DATA_SOURCE 5 if_id $4
DATA_SOURCE 6 pcpu_num $5
DATA_SOURCE 7 proto $6
DATA_SOURCE 8 daddr $7
DATA_SOURCE 9 saddr $8
DATA_SOURCE 10 create $9
FUZZY_MAX 6 pcpu_num u32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 bh
LOCK2 0 &net->xfrm.xfrm_state_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
TYPE_LOCK (struct netns_xfrm)->xfrm_state_lock

net/xfrm/xfrm_state.c xfrm_state_add() -> __find_acq_core()

Type Parameter Key Value
PARAM_VALUE 0 net->xfrm.xfrm_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 m 4096-ptr_max
PARAM_VALUE 8 daddr 4096-ptr_max
PARAM_VALUE 9 saddr 4096-ptr_max
PARAM_VALUE 10 create 0
CAPPED_DATA 2 family 1
CAPPED_DATA 7 proto 1
NOSPEC 7 proto
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 m->m 0
USER_DATA 1 m->v 0
USER_DATA 2 family 0-u16max[c]
USER_DATA 3 mode 0-5
USER_DATA 4 reqid 0-u32max
USER_DATA 7 proto 4,41,43,50-51,60,108[c]
USER_DATA 8 daddr->a4 0-u32max
USER_DATA 9 saddr->a4 0-u32max
UNITS 0 net unit_byte
LOCK2 bh
LOCK2 0 &net->xfrm.xfrm_state_lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
TYPE_LOCK (struct netns_xfrm)->xfrm_state_lock