17  * Invariant: The tail element's mem pointer is DontCare.
31  *   where I[]  means the initial link-element, whose mem pointer is DontCare.
32  *   where A[b] means the A'th link-element, whose mem pointer is b.
46  * @param link[in]  Initial link-element. Not associated with any mem
88  * @param mem[in]      The memory payload to be enqueued. Pointed to by old tail
90  * @return             New tail. Note: Does not point to the new mem
92 memq_link_t *memq_enqueue(memq_link_t *link, void *mem, memq_link_t **tail)  in memq_enqueue()  argument
98 	(*tail)->mem = mem;  in memq_enqueue()
114  * @param mem[out] The memory pointed to by head-element
117 memq_link_t *memq_peek(memq_link_t *head, memq_link_t *tail, void **mem)  in memq_peek()  argument
125 	if (mem) {  in memq_peek()
126 		*mem = head->mem;  in memq_peek()
138  * @param mem[out] The memory pointed to by head-element
142 			 void **mem)  in memq_peek_n()  argument
146 		/* Use memq peek to get the current head and its mem */  in memq_peek_n()
147 		head = memq_peek(head, tail, mem);  in memq_peek_n()
165  * @param mem[out]     The memory pointed to by head-element
168 memq_link_t *memq_dequeue(memq_link_t *tail, memq_link_t **head, void **mem)  in memq_dequeue()  argument
172 	/* Use memq peek to get the old head and its mem */  in memq_dequeue()
173 	old_head = memq_peek(*head, tail, mem);  in memq_dequeue()