Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_policy.c xfrm_dev_policy_flush() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->walk.dead 0
PARAM_VALUE 0 policy->xdo.dev 4096-ptr_max
PARAM_VALUE 0 *policy->xp_net.net->xfrm.policy_count 0-4294967295
CAPPED_DATA 0 policy->xdo.dev 1
CAPPED_DATA 0 policy->xp_net.net 1
CAPPED_DATA 0 &policy->walk.all 1
NOCHECK_CALL

net/xfrm/xfrm_policy.c xfrm_policy_byid() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->type 0-1
CAPPED_DATA 0 policy->if_id 1
CAPPED_DATA 0 policy->index 1
CAPPED_DATA 0 policy->mark.m 1
CAPPED_DATA 0 policy->mark.v 1
CAPPED_DATA 0 policy->type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex

net/xfrm/xfrm_policy.c xfrm_policy_bysel_ctx() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex

net/xfrm/xfrm_policy.c xfrm_policy_delete() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->bydst->next->pprev 1-u64max
PARAM_VALUE 0 policy->bydst.pprev 0
PARAM_VALUE 0 policy->byidx->next->pprev 1-u64max
PARAM_VALUE 0 policy->walk.all.next 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.next->next 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.next->prev 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.prev 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.prev->next 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.prev->prev 4096-ptr_max
PARAM_VALUE 0 policy->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *policy->xp_net.net->xfrm.policy_count 0-4294967295
DATA_SOURCE 0 policy r __xfrm_policy_unlink
PARAM_COMPARE 0 policy == $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->type 0-1
PARAM_VALUE 0 policy->walk.dead 0
PARAM_VALUE 0 *policy->xp_net.net->xfrm.policy_count 0-4294967295
CAPPED_DATA 0 policy->type 1
CAPPED_DATA 0 policy->xp_net.net 1
CAPPED_DATA 0 &policy->walk.all 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

net/xfrm/xfrm_policy.c xfrm_policy_insert() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->security 0,4096-ptr_max
PARAM_VALUE 0 *policy->xp_net.net->xfrm.policy_count 0-4294967295
CAPPED_DATA 0 policy->polq.hold_queue.next 1
CAPPED_DATA 0 policy->xp_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex

net/xfrm/xfrm_policy.c xfrm_sk_policy_insert() -> xfrm_policy_kill()

Type Parameter Key Value
PARAM_VALUE 0 policy 4096-ptr_max
PARAM_VALUE 0 policy->bydst->next->pprev 1-u64max
PARAM_VALUE 0 policy->bydst.pprev 0
PARAM_VALUE 0 policy->byidx->next->pprev 1-u64max
PARAM_VALUE 0 policy->walk.all.next->prev 4096-ptr_max
PARAM_VALUE 0 policy->walk.all.prev->next 4096-ptr_max
PARAM_VALUE 0 *policy->xp_net.net->xfrm.policy_count 0-11,4294967295
CAPPED_DATA 0 policy->xp_net.net 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk