Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 1 dir 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read

net/ipv4/tcp_ipv4.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 0 pol->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *pol->xp_net.net->xfrm.policy_count 0-4294967295
PARAM_VALUE 1 dir 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 rcu_read

net/xfrm/xfrm_user.c xfrm_add_pol_expire() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 4096-ptr_max
PARAM_VALUE 0 pol->walk.dead 0
PARAM_VALUE 1 dir 0-2
CAPPED_DATA 1 dir 1
NOSPEC 1 dir
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dir 0-2[c]
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/mptcp/protocol.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 1 dir 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/mptcp/protocol.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 0 pol->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *pol->xp_net.net->xfrm.policy_count 0-4294967295
PARAM_VALUE 1 dir 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/ipv4/inet_connection_sock.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 1 dir 3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/ipv4/inet_connection_sock.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 0 pol->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *pol->xp_net.net->xfrm.policy_count 0-4294967295
PARAM_VALUE 1 dir 4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/core/sock.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 1 dir 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->sctp.addr_wq_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/core/sock.c xfrm_sk_free_policy() -> xfrm_policy_delete()

Type Parameter Key Value
PARAM_VALUE 0 pol 1-u64max
PARAM_VALUE 0 pol->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *pol->xp_net.net->xfrm.policy_count 0-4294967295
PARAM_VALUE 1 dir 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &net->sctp.addr_wq_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 pol 4096-ptr_max
PARAM_VALUE 0 pol->lock.dep_map->name 0-255
PARAM_VALUE 0 pol->walk.dead 0
PARAM_VALUE 1 dir 0-7
DATA_SOURCE 1 dir r xfrm_policy_id2dir
RX_PATH
TASK_NOT_RUNNING