biodone vs. BUFQ_PEEK

[Juergen Hannken-Illjes <hannken%eis.cs.tu-bs.de@localhost>]

While looking for something completely different I found this fragment of
biodone():

        if (cpu_intr_p()) {
                ...
                TAILQ_INSERT_TAIL(&curcpu()->ci_data.cpu_biodone, bp, b_actq);

This should lead to the corruption of b_actq if the buffer was dequeued with
BUFQ_PEEK() that leaves the buffer on the queue (using b_actq).

Confused,
-- 
Juergen Hannken-Illjes - hannken%eis.cs.tu-bs.de@localhost - TU Braunschweig 
(Germany)