3 typedef unsigned long long pointer;
4 typedef void * pointer_t;
6 #define MAKE_POINTER(ptr, count) ((((pointer)count) << 32) | ptr)
7 #define PTR_MASK 0xffffffffLL
8 #define COUNT_MASK (0xffffffffLL << 32)
10 static inline unsigned int get_count(pointer p) { return (p & COUNT_MASK) >> 32; }
11 static inline unsigned int get_ptr(pointer p) { return p & PTR_MASK; }
21 node_t nodes[MAX_NODES + 1];
24 void init_queue(queue_t *q, int num_threads);
25 void enqueue(queue_t *q, unsigned int val);
26 bool dequeue(queue_t *q, unsigned int *retVal);