Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/key/af_key.c pfkey_spdflush() -> xfrm_policy_flush()

Type Parameter Key Value
PARAM_VALUE 1 type 0
PARAM_VALUE 2 task_valid 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
LOCK2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk
TYPE_LOCK (struct netns_xfrm)->xfrm_cfg_mutex

net/xfrm/xfrm_user.c xfrm_flush_policy() -> xfrm_policy_flush()

Type Parameter Key Value
PARAM_VALUE 1 type 0-1
PARAM_VALUE 2 task_valid 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
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_net_pre_exit() -> xfrm_policy_flush()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->xfrm.policy_hthresh.work.lockdep_map->name 0-255
PARAM_VALUE 1 type 1
PARAM_VALUE 2 task_valid 0
CAPPED_DATA 0 &net->xfrm.policy_hash_work 1
CAPPED_DATA 0 &net->xfrm.policy_hthresh.work 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem

net/xfrm/xfrm_policy.c xfrm_net_pre_exit() -> xfrm_policy_flush()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->xfrm.policy_hthresh.work.lockdep_map->name 0-255
PARAM_VALUE 0 net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 type 0
PARAM_VALUE 2 task_valid 0
CAPPED_DATA 0 &net->xfrm.policy_hash_work 1
CAPPED_DATA 0 &net->xfrm.policy_hthresh.work 1
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &pernet_ops_rwsem