Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_user.c xfrm_policy_netlink() -> dump_one_policy()

Type Parameter Key Value
PARAM_VALUE 0 xp 4096-ptr_max
PARAM_VALUE 0 xp->xdo.dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 xp->xdo.dev_tracker->dead 0-1
PARAM_VALUE 0 xp->xdo.dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 dir 0-2
PARAM_VALUE 2 count 0
PARAM_VALUE 3 ptr 6002113540476825600
BUF_SIZE 3 ptr 24
CAPPED_DATA 1 dir 1
DATA_SOURCE 0 xp $1
DATA_SOURCE 1 dir $2
NOSPEC 1 dir
NOSPEC 1 dir
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 dir 0-2[c]
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_policy.c xfrm_policy_walk() -> xfrm_policy_walk param 2()

Type Parameter Key Value
PARAM_VALUE 0 xp 4096-ptr_max
PARAM_VALUE 1 dir 0-7
PARAM_VALUE 3 ptr 4096-ptr_max
BUF_SIZE 3 ptr (-1),4,24
BUF_SIZE 3 ptr (-1),4,24
DATA_SOURCE 3 ptr $3
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->xfrm.xfrm_policy_lock
LOCK2 bh
HALF_LOCKED2 &pfk->dump_lock
TYPE_LOCK (struct netns_xfrm)->xfrm_policy_lock