Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/rcu/tree.c rcu_barrier() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 257930615975178656
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s r rcu_seq_snap
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rcu_state.barrier_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &wg->device_update_lock
HALF_LOCKED2 global &fullstop_mutex
HALF_LOCKED2 global &init_lock
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rcu_fwd_mutex
HALF_LOCKED2 global &rcu_state.nocb_mutex
HALF_LOCKED2 global &slab_mutex
HALF_LOCKED2 global &vboxsf_setup_mutex
TYPE_LOCK (struct rcu_state)->barrier_mutex

kernel/rcu/tree.c rcu_barrier_throttled() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 257930615975178656
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s r rcu_seq_snap
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex

kernel/rcu/tree.c rcu_exp_gp_seq_done() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 257930615975179040
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ctx->uring_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &ssp->srcu_sup->srcu_gp_mutex
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rcu_state.exp_mutex

kernel/rcu/srcutree.c srcu_barrier() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s r rcu_seq_snap
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ssp->srcu_sup->srcu_barrier_mutex
TYPE_LOCK (struct srcu_usage)->srcu_barrier_mutex

kernel/rcu/srcutree.c srcu_funnel_exp_start() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 1 s 0,4-u64max
CAPPED_DATA 1 s 1
CAPPED_DATA 1 s 1
DATA_SOURCE 1 s $2
RX_PATH
TASK_NOT_RUNNING

kernel/rcu/srcutree.c srcu_funnel_gp_start() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s $2
RX_PATH
TASK_NOT_RUNNING

kernel/rcu/srcutree.c srcu_funnel_gp_start() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 4096-ptr_max
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &(ssp->srcu_sup)->lock
HALF_LOCKED2 flags

kernel/rcu/update.c rcu_barrier_tasks_generic() -> rcu_seq_done()

Type Parameter Key Value
PARAM_VALUE 0 sp 295581862719967888
PARAM_VALUE 1 s 0,4-u64max
DATA_SOURCE 1 s r rcu_seq_snap
LOCK2 &rtp->barrier_q_mutex
HALF_LOCKED2 global &fullstop_mutex
HALF_LOCKED2 global &rcu_fwd_mutex
TYPE_LOCK (struct rcu_tasks)->barrier_q_mutex