Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/rcu/srcutree.c synchronize_srcu() -> __synchronize_srcu()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->node 0,4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_cpu_cnt.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.first_waiter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.osq.tail.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.owner.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_seq 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 ssp->srcu_sup->srcu_cb_mutex.first_waiter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_cb_mutex.osq.tail.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_cb_mutex.owner.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.first_waiter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.osq.tail.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.owner.counter 0
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_seq_needed 18446744073709551216
PARAM_VALUE 0 ssp->srcu_sup->srcu_size_state 0-1,8
PARAM_VALUE 0 ssp->srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 ssp->srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 1 do_norm 1
DATA_SOURCE 0 ssp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ssp->srcu_reader_flavor 0-255
HOST_DATA 0 ssp->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HALF_LOCKED2 &ctrl->namespaces_lock
HALF_LOCKED2 &ctrl->scan_lock
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &hdev->bpf.prog_list_lock
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &q->debugfs_mutex
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 &subsys->su_mutex
HALF_LOCKED2 &tomoyo_gc_mutex
HALF_LOCKED2 &xdna->client_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &blk_probe_mutex
HALF_LOCKED2 global &close_lock
HALF_LOCKED2 global &console_mutex
HALF_LOCKED2 global &event_mutex
HALF_LOCKED2 global &fullstop_mutex
HALF_LOCKED2 global &kfd_processes_mutex
HALF_LOCKED2 global &kunit_run_lock
HALF_LOCKED2 global &srcu
HALF_LOCKED2 global &system_transition_mutex
HALF_LOCKED2 global &tracepoints_mutex

kernel/rcu/srcutree.c synchronize_srcu_expedited() -> __synchronize_srcu()

Type Parameter Key Value
DATA_SOURCE 0 ssp $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ssp->srcu_reader_flavor 0-255
HOST_DATA 0 ssp->srcu_sup->srcu_ssp->srcu_reader_flavor 0-255
HALF_LOCKED2 &kvm->irqfds.resampler_lock