# DF-1978 Verification

## Verdict
**SOURCE-CONFIRMED, INCONCLUSIVE-RUNTIME (HW/module gated).**

The cited defect exists in the audited source at `sys/dev/drm/linux_workqueue.c:151-171`.
Part of the drm compatibility layer (module, not in GENERIC).

## Mechanism (source-only confirmation)
_delayed_work_fn callout callback (151-157) hardcodes
queue_work(system_wq, &dw->work) regardless of which wq the caller passed.
queue_delayed_work (159-171) accepts wq parameter but never stores it —
struct delayed_work (workqueue.h:66-69) has no wq field. Delayed work
intended for ordered/high-priority workqueues silently runs on system_wq,
breaking ordering guarantees DRM drivers depend on.

## Recommended fix
Add a wq field to struct delayed_work (header), set it in queue_delayed_work,
and use it in _delayed_work_fn instead of the hardcoded system_wq.

The full `git apply`-able diff lives in `fix.diff` in this folder.