Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_state_walk() -> xfrm_state_walk param 2()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 2 ptr 4096-ptr_max
BUF_SIZE 2 ptr (-1),24,32
BUF_SIZE 2 ptr (-1),24,32
DATA_SOURCE 2 ptr $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->xfrm.xfrm_state_lock
LOCK2 bh
HALF_LOCKED2 &pfk->dump_lock
TYPE_LOCK (struct netns_xfrm)->xfrm_state_lock