Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 30 files:

Smatch caller information:

mm/slub.c deferred_work_barrier() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL

kernel/irq/irq_sim.c irq_domain_remove_sim() -> irq_work_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/irq/manage.c synchronize_irqwork() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex

drivers/edac/igen6_edac.c igen6_remove() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 6200833611405910016
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/rhashtable.c rhashtable_free_and_destroy() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ct_priv->control_lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &efx->tc->mutex
HALF_LOCKED2 global &nfsd_mutex
HALF_LOCKED2 global &pernet_ops_rwsem

kernel/bpf/memalloc.c bpf_mem_alloc_destroy() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL

kernel/bpf/memalloc.c bpf_mem_alloc_destroy() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL

kernel/sched/build_utility.c sugov_stop() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem
HALF_LOCKED2 global &intel_pstate_limits_lock

arch/x86/kvm/x86.c kvm_x86_vendor_exit() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 5122575493269647360
NOCHECK_CALL

kernel/rcu/srcutree.c cleanup_srcu_struct() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ctrl->subsys->lock
HALF_LOCKED2 &qdev->dev_lock
HALF_LOCKED2 &xdna->client_lock
HALF_LOCKED2 &xdna->dev_lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 clk

drivers/tty/serial/8250/8250_port.c serial8250_console_exit() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/events/core.c _free_event() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &parent_ctx->mutex
HALF_LOCKED2 _T->lock

kernel/events/core.c _free_event() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &parent_ctx->mutex
HALF_LOCKED2 _T->lock

kernel/relay.c __relay_reset() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ar->conf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 global &relay_channels_mutex

kernel/relay.c relay_close_buf() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &relay_channels_mutex
HALF_LOCKED2 &ab->core_lock
HALF_LOCKED2 &log->relay.lock
HALF_LOCKED2 &q->debugfs_mutex

kernel/bpf/arena.c arena_map_free() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_remove() -> irq_work_sync()

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

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_shutdown() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &uport->lock

drivers/iio/trigger/iio-trig-sysfs.c iio_sysfs_trigger_remove() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL
LOCK2 global &iio_sysfs_trig_list_mut

kernel/trace/ring_buffer.c rb_free_cpu_buffer() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

kernel/trace/ring_buffer.c ring_buffer_free() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq

kernel/trace/pid_list.c trace_pid_list_free() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &ftrace_lock

samples/trace_printk/trace-printk.c trace_printk_init() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 6110144852861071360
PARAM_VALUE 0 work->node.a_flags.counter 0-s32max
NOCHECK_CALL

drivers/tty/serial/kgdboc.c kgdboc_unregister_kbd() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 964262264181506048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &config_mutex

drivers/gpu/drm/i915/gt/intel_breadcrumbs.c intel_breadcrumbs_free() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/cpufreq/cpufreq_governor.c cpufreq_dbs_governor_stop() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &policy->rwsem
HALF_LOCKED2 global &intel_pstate_limits_lock

drivers/tty/serial/8250/8250_core.c serial8250_suspend_port() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock

kernel/bpf/ringbuf.c bpf_ringbuf_free() -> irq_work_sync()

Type Parameter Key Value
PARAM_VALUE 0 work 4096-ptr_max
NOCHECK_CALL

kernel/sched/core.c sched_mm_cid_exit() -> irq_work_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock