Sanitize the element when dequing
"Mai, Haohui" <[email protected]> Wed, 28 Apr 2010 16:21:41 -0500
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Hi,
Here is a patch to sanitize the element in the deque operation. Your
suggestions are appreciated.
Haohui
Index: src/api/v4/queueing.h
===================================================================
--- src/api/v4/queueing.h (revision 1696)
+++ src/api/v4/queueing.h (working copy)
@@ -75,6 +75,7 @@
head = tcb->list.next; \
(tcb->list.next)->list.prev = tcb->list.prev; \
(tcb->list.prev)->list.next = tcb->list.next; \
+ tcb->list.next = tcb->list.prev = NULL; \
} \
} while(0)