Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

kernel/bpf/bpf_local_storage.c rcu_barrier_tasks_trace() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1254369047921287168
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/rcu/rcutorture.c srcu_torture_barrier() -> srcu_barrier()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 global &fullstop_mutex
HALF_LOCKED2 global &rcu_fwd_mutex

block/blk-mq.c blk_mq_free_tag_set() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_d->mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &devices_mutex
HALF_LOCKED2 global &lock
HALF_LOCKED2 global &mtd_table_mutex
HALF_LOCKED2 global &ublk_ctl_mutex

kernel/bpf/memalloc.c rcu_barrier_tasks_trace() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 1254369047921287168
NOCHECK_CALL

kernel/rcu/rcuscale.c srcu_rcu_barrier() -> srcu_barrier()

Type Parameter Key Value
NOCHECK_CALL

kernel/rcu/update.c rcu_verify_early_boot_tests() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 5229176008294924288
NOCHECK_CALL

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_destroy_vm() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &dst_kvm->lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 global &sev_mirror_lock

fs/binfmt_misc.c exit_misc_binfmt() -> srcu_barrier()

Type Parameter Key Value
PARAM_VALUE 0 ssp 145052907663384576
NOCHECK_CALL