Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 11 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/irqchip.c kvm_set_irq_routing() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock

kernel/rcu/rcutorture.c srcu_torture_synchronize_expedited() -> synchronize_srcu_expedited()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/kvm/pmu.c kvm_vm_ioctl_set_pmu_event_filter() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
NOCHECK_CALL

arch/x86/kvm/../../../virt/kvm/eventfd.c irqfd_resampler_shutdown() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
NOCHECK_CALL
LOCK2 &kvm->irqfds.resampler_lock
TYPE_LOCK (struct kvm)->irqfds.resampler_lock

arch/x86/kvm/../../../virt/kvm/eventfd.c irqfd_shutdown() -> synchronize_srcu_expedited()

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

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_irqfd_assign() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
NOCHECK_CALL
LOCK2 &kvm->irqfds.resampler_lock
TYPE_LOCK (struct kvm)->irqfds.resampler_lock

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_unregister_irq_ack_notifier() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kvm->irqfds.resampler_lock

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

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_mutex.dep_map->name 0-255
PARAM_VALUE 0 ssp->srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
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.magic 4096-ptr_max
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 ssp->srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
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
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/rcuscale.c srcu_scale_synchronize_expedited() -> synchronize_srcu_expedited()

Type Parameter Key Value
NOCHECK_CALL

drivers/gpu/drm/i915/gt/intel_reset.c intel_gt_handle_error() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &attr->mutex

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_io_bus_unregister_dev() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->slots_lock

arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_swap_active_memslots() -> synchronize_srcu_expedited()

Type Parameter Key Value
PARAM_VALUE 0 ssp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 _T->lock