* Borrowed from linux kernel
*/
-#define LIST_POISON1 0x12345678
-#define LIST_POISON2 0x98765432
+#define LIST_POISON1 ((void *)0x12345678)
+#define LIST_POISON2 ((void *)0x98765432)
+
+static inline void prefetch(void *a)
+{
+}
/*
* Simple doubly linked list implementation.