CVE-2026-68370 is a race condition in the Linux kernel's USB gadget layer, specifically in the dummy HCD driver's "emulated single-request FIFO" fast-path. The bug is not a simple missed lock — it is a design failure where a synchronization primitive was reused for two different purposes, creating a semantic gap that no existing kernel primitive captures.

The fast-path uses list_empty(&fifo_req.queue) as a free-slot indicator. When a request completes, list_del_init() unlinks it from the queue, making the slot appear available. But the completion callback is still executing at that moment, holding the request object live. A concurrent dummy_queue() call can see the slot as free, allocate a new request into the same object, and overwrite the completion callback pointer that is currently being dereferenced. The fix introduces fifo_req_busy, a separate flag that remains set throughout the entire giveback window — including callback execution — rather than relying on list topology.

The critical analytical point is that KASAN cannot detect this class of bug. The overwrite is a structurally valid in-bounds memcpy to a kernel object. Sanitizers optimized for spatial violations are blind to temporal semantic violations — when a write is technically in-bounds but semantically destroys a live callback pointer mid-execution. This is not a tooling gap; it is a detection class the kernel's current instrumentation stack cannot see.

Defenders should audit the USB gadget layer's other fast-path code for identical assumptions about request lifecycle boundaries. More broadly, the pattern of calling completion callbacks before dropping locks is used throughout the kernel — USB, block, and networking subsystems. The implicit contract that "unlinked" means "available" is not enforced by any kernel primitive. Future kernel refactors that touch these fast paths are the highest-risk maintenance event: a developer encountering fifo_req_busy may reasonably classify it as unnecessary and remove it, reopening the race. Treat these guard variables as essential invariants, not historical artifacts.