1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _LINUX_LIST_H
3 #define _LINUX_LIST_H
4
5 #include <linux/container_of.h>
6 #include <linux/types.h>
7 #include <linux/stddef.h>
8 #include <linux/poison.h>
9 #include <linux/const.h>
10
11 #include <asm/barrier.h>
12
13 /*
14 * Circular doubly linked list implementation.
15 *
16 * Some of the internal functions ("__xxx") are useful when
17 * manipulating whole lists rather than single entries, as
18 * sometimes we already know the next/prev entries and we can
19 * generate better code by using them directly rather than
20 * using the generic single-entry routines.
21 */
22
23 /**
24 * LIST_HEAD_INIT - initialize a &struct list_head's links to point to itself
25 * @name: name of the list_head
26 */
27 #define LIST_HEAD_INIT(name) { &(name), &(name) }
28
29 /**
30 * LIST_HEAD - definition of a &struct list_head with initialization values
31 * @name: name of the list_head
32 */
33 #define LIST_HEAD(name) \
34 struct list_head name = LIST_HEAD_INIT(name)
35
36 /**
37 * INIT_LIST_HEAD - Initialize a list_head structure
38 * @list: list_head structure to be initialized.
39 *
40 * Initializes the list_head to point to itself. If it is a list header,
41 * the result is an empty list.
42 */
INIT_LIST_HEAD(struct list_head * list)43 static inline void INIT_LIST_HEAD(struct list_head *list)
44 {
45 WRITE_ONCE(list->next, list);
46 WRITE_ONCE(list->prev, list);
47 }
48
49 #ifdef CONFIG_LIST_HARDENED
50
51 #ifdef CONFIG_DEBUG_LIST
52 # define __list_valid_slowpath
53 #else
54 # define __list_valid_slowpath __cold __preserve_most
55 #endif
56
57 /*
58 * Performs the full set of list corruption checks before __list_add().
59 * On list corruption reports a warning, and returns false.
60 */
61 bool __list_valid_slowpath __list_add_valid_or_report(struct list_head *new,
62 struct list_head *prev,
63 struct list_head *next);
64
65 /*
66 * Performs list corruption checks before __list_add(). Returns false if a
67 * corruption is detected, true otherwise.
68 *
69 * With CONFIG_LIST_HARDENED only, performs minimal list integrity checking
70 * inline to catch non-faulting corruptions, and only if a corruption is
71 * detected calls the reporting function __list_add_valid_or_report().
72 */
__list_add_valid(struct list_head * new,struct list_head * prev,struct list_head * next)73 static __always_inline bool __list_add_valid(struct list_head *new,
74 struct list_head *prev,
75 struct list_head *next)
76 {
77 bool ret = true;
78
79 if (!IS_ENABLED(CONFIG_DEBUG_LIST)) {
80 /*
81 * With the hardening version, elide checking if next and prev
82 * are NULL, since the immediate dereference of them below would
83 * result in a fault if NULL.
84 *
85 * With the reduced set of checks, we can afford to inline the
86 * checks, which also gives the compiler a chance to elide some
87 * of them completely if they can be proven at compile-time. If
88 * one of the pre-conditions does not hold, the slow-path will
89 * show a report which pre-condition failed.
90 */
91 if (likely(next->prev == prev && prev->next == next && new != prev && new != next))
92 return true;
93 ret = false;
94 }
95
96 ret &= __list_add_valid_or_report(new, prev, next);
97 return ret;
98 }
99
100 /*
101 * Performs the full set of list corruption checks before __list_del_entry().
102 * On list corruption reports a warning, and returns false.
103 */
104 bool __list_valid_slowpath __list_del_entry_valid_or_report(struct list_head *entry);
105
106 /*
107 * Performs list corruption checks before __list_del_entry(). Returns false if a
108 * corruption is detected, true otherwise.
109 *
110 * With CONFIG_LIST_HARDENED only, performs minimal list integrity checking
111 * inline to catch non-faulting corruptions, and only if a corruption is
112 * detected calls the reporting function __list_del_entry_valid_or_report().
113 */
__list_del_entry_valid(struct list_head * entry)114 static __always_inline bool __list_del_entry_valid(struct list_head *entry)
115 {
116 bool ret = true;
117
118 if (!IS_ENABLED(CONFIG_DEBUG_LIST)) {
119 struct list_head *prev = entry->prev;
120 struct list_head *next = entry->next;
121
122 /*
123 * With the hardening version, elide checking if next and prev
124 * are NULL, LIST_POISON1 or LIST_POISON2, since the immediate
125 * dereference of them below would result in a fault.
126 */
127 if (likely(prev->next == entry && next->prev == entry))
128 return true;
129 ret = false;
130 }
131
132 ret &= __list_del_entry_valid_or_report(entry);
133 return ret;
134 }
135 #else
__list_add_valid(struct list_head * new,struct list_head * prev,struct list_head * next)136 static inline bool __list_add_valid(struct list_head *new,
137 struct list_head *prev,
138 struct list_head *next)
139 {
140 return true;
141 }
__list_del_entry_valid(struct list_head * entry)142 static inline bool __list_del_entry_valid(struct list_head *entry)
143 {
144 return true;
145 }
146 #endif
147
148 /*
149 * Insert a new entry between two known consecutive entries.
150 *
151 * This is only for internal list manipulation where we know
152 * the prev/next entries already!
153 */
__list_add(struct list_head * new,struct list_head * prev,struct list_head * next)154 static inline void __list_add(struct list_head *new,
155 struct list_head *prev,
156 struct list_head *next)
157 {
158 if (!__list_add_valid(new, prev, next))
159 return;
160
161 next->prev = new;
162 new->next = next;
163 new->prev = prev;
164 WRITE_ONCE(prev->next, new);
165 }
166
167 /**
168 * list_add - add a new entry
169 * @new: new entry to be added
170 * @head: list head to add it after
171 *
172 * Insert a new entry after the specified head.
173 * This is good for implementing stacks.
174 */
list_add(struct list_head * new,struct list_head * head)175 static inline void list_add(struct list_head *new, struct list_head *head)
176 {
177 __list_add(new, head, head->next);
178 }
179
180
181 /**
182 * list_add_tail - add a new entry
183 * @new: new entry to be added
184 * @head: list head to add it before
185 *
186 * Insert a new entry before the specified head.
187 * This is useful for implementing queues.
188 */
list_add_tail(struct list_head * new,struct list_head * head)189 static inline void list_add_tail(struct list_head *new, struct list_head *head)
190 {
191 __list_add(new, head->prev, head);
192 }
193
194 /*
195 * Delete a list entry by making the prev/next entries
196 * point to each other.
197 *
198 * This is only for internal list manipulation where we know
199 * the prev/next entries already!
200 */
__list_del(struct list_head * prev,struct list_head * next)201 static inline void __list_del(struct list_head * prev, struct list_head * next)
202 {
203 next->prev = prev;
204 WRITE_ONCE(prev->next, next);
205 }
206
207 /*
208 * Delete a list entry and clear the 'prev' pointer.
209 *
210 * This is a special-purpose list clearing method used in the networking code
211 * for lists allocated as per-cpu, where we don't want to incur the extra
212 * WRITE_ONCE() overhead of a regular list_del_init(). The code that uses this
213 * needs to check the node 'prev' pointer instead of calling list_empty().
214 */
__list_del_clearprev(struct list_head * entry)215 static inline void __list_del_clearprev(struct list_head *entry)
216 {
217 __list_del(entry->prev, entry->next);
218 entry->prev = NULL;
219 }
220
__list_del_entry(struct list_head * entry)221 static inline void __list_del_entry(struct list_head *entry)
222 {
223 if (!__list_del_entry_valid(entry))
224 return;
225
226 __list_del(entry->prev, entry->next);
227 }
228
229 /**
230 * list_del - deletes entry from list.
231 * @entry: the element to delete from the list.
232 * Note: list_empty() on entry does not return true after this, the entry is
233 * in an undefined state.
234 */
list_del(struct list_head * entry)235 static inline void list_del(struct list_head *entry)
236 {
237 __list_del_entry(entry);
238 entry->next = LIST_POISON1;
239 entry->prev = LIST_POISON2;
240 }
241
242 /**
243 * list_replace - replace old entry by new one
244 * @old : the element to be replaced
245 * @new : the new element to insert
246 *
247 * If @old was empty, it will be overwritten.
248 */
list_replace(struct list_head * old,struct list_head * new)249 static inline void list_replace(struct list_head *old,
250 struct list_head *new)
251 {
252 new->next = old->next;
253 new->next->prev = new;
254 new->prev = old->prev;
255 new->prev->next = new;
256 }
257
258 /**
259 * list_replace_init - replace old entry by new one and initialize the old one
260 * @old : the element to be replaced
261 * @new : the new element to insert
262 *
263 * If @old was empty, it will be overwritten.
264 */
list_replace_init(struct list_head * old,struct list_head * new)265 static inline void list_replace_init(struct list_head *old,
266 struct list_head *new)
267 {
268 list_replace(old, new);
269 INIT_LIST_HEAD(old);
270 }
271
272 /**
273 * list_swap - replace entry1 with entry2 and re-add entry1 at entry2's position
274 * @entry1: the location to place entry2
275 * @entry2: the location to place entry1
276 */
list_swap(struct list_head * entry1,struct list_head * entry2)277 static inline void list_swap(struct list_head *entry1,
278 struct list_head *entry2)
279 {
280 struct list_head *pos = entry2->prev;
281
282 list_del(entry2);
283 list_replace(entry1, entry2);
284 if (pos == entry1)
285 pos = entry2;
286 list_add(entry1, pos);
287 }
288
289 /**
290 * list_del_init - deletes entry from list and reinitialize it.
291 * @entry: the element to delete from the list.
292 */
list_del_init(struct list_head * entry)293 static inline void list_del_init(struct list_head *entry)
294 {
295 __list_del_entry(entry);
296 INIT_LIST_HEAD(entry);
297 }
298
299 /**
300 * list_move - delete from one list and add as another's head
301 * @list: the entry to move
302 * @head: the head that will precede our entry
303 */
list_move(struct list_head * list,struct list_head * head)304 static inline void list_move(struct list_head *list, struct list_head *head)
305 {
306 __list_del_entry(list);
307 list_add(list, head);
308 }
309
310 /**
311 * list_move_tail - delete from one list and add as another's tail
312 * @list: the entry to move
313 * @head: the head that will follow our entry
314 */
list_move_tail(struct list_head * list,struct list_head * head)315 static inline void list_move_tail(struct list_head *list,
316 struct list_head *head)
317 {
318 __list_del_entry(list);
319 list_add_tail(list, head);
320 }
321
322 /**
323 * list_bulk_move_tail - move a subsection of a list to its tail
324 * @head: the head that will follow our entry
325 * @first: first entry to move
326 * @last: last entry to move, can be the same as first
327 *
328 * Move all entries between @first and including @last before @head.
329 * All three entries must belong to the same linked list.
330 */
list_bulk_move_tail(struct list_head * head,struct list_head * first,struct list_head * last)331 static inline void list_bulk_move_tail(struct list_head *head,
332 struct list_head *first,
333 struct list_head *last)
334 {
335 first->prev->next = last->next;
336 last->next->prev = first->prev;
337
338 head->prev->next = first;
339 first->prev = head->prev;
340
341 last->next = head;
342 head->prev = last;
343 }
344
345 /**
346 * list_is_first -- tests whether @list is the first entry in list @head
347 * @list: the entry to test
348 * @head: the head of the list
349 */
list_is_first(const struct list_head * list,const struct list_head * head)350 static inline int list_is_first(const struct list_head *list, const struct list_head *head)
351 {
352 return list->prev == head;
353 }
354
355 /**
356 * list_is_last - tests whether @list is the last entry in list @head
357 * @list: the entry to test
358 * @head: the head of the list
359 */
list_is_last(const struct list_head * list,const struct list_head * head)360 static inline int list_is_last(const struct list_head *list, const struct list_head *head)
361 {
362 return list->next == head;
363 }
364
365 /**
366 * list_is_head - tests whether @list is the list @head
367 * @list: the entry to test
368 * @head: the head of the list
369 */
list_is_head(const struct list_head * list,const struct list_head * head)370 static inline int list_is_head(const struct list_head *list, const struct list_head *head)
371 {
372 return list == head;
373 }
374
375 /**
376 * list_empty - tests whether a list is empty
377 * @head: the list to test.
378 */
list_empty(const struct list_head * head)379 static inline int list_empty(const struct list_head *head)
380 {
381 return READ_ONCE(head->next) == head;
382 }
383
384 /**
385 * list_del_init_careful - deletes entry from list and reinitialize it.
386 * @entry: the element to delete from the list.
387 *
388 * This is the same as list_del_init(), except designed to be used
389 * together with list_empty_careful() in a way to guarantee ordering
390 * of other memory operations.
391 *
392 * Any memory operations done before a list_del_init_careful() are
393 * guaranteed to be visible after a list_empty_careful() test.
394 */
list_del_init_careful(struct list_head * entry)395 static inline void list_del_init_careful(struct list_head *entry)
396 {
397 __list_del_entry(entry);
398 WRITE_ONCE(entry->prev, entry);
399 smp_store_release(&entry->next, entry);
400 }
401
402 /**
403 * list_empty_careful - tests whether a list is empty and not being modified
404 * @head: the list to test
405 *
406 * Description:
407 * tests whether a list is empty _and_ checks that no other CPU might be
408 * in the process of modifying either member (next or prev)
409 *
410 * NOTE: using list_empty_careful() without synchronization
411 * can only be safe if the only activity that can happen
412 * to the list entry is list_del_init(). Eg. it cannot be used
413 * if another CPU could re-list_add() it.
414 */
list_empty_careful(const struct list_head * head)415 static inline int list_empty_careful(const struct list_head *head)
416 {
417 struct list_head *next = smp_load_acquire(&head->next);
418 return list_is_head(next, head) && (next == READ_ONCE(head->prev));
419 }
420
421 /**
422 * list_rotate_left - rotate the list to the left
423 * @head: the head of the list
424 */
list_rotate_left(struct list_head * head)425 static inline void list_rotate_left(struct list_head *head)
426 {
427 struct list_head *first;
428
429 if (!list_empty(head)) {
430 first = head->next;
431 list_move_tail(first, head);
432 }
433 }
434
435 /**
436 * list_rotate_to_front() - Rotate list to specific item.
437 * @list: The desired new front of the list.
438 * @head: The head of the list.
439 *
440 * Rotates list so that @list becomes the new front of the list.
441 */
list_rotate_to_front(struct list_head * list,struct list_head * head)442 static inline void list_rotate_to_front(struct list_head *list,
443 struct list_head *head)
444 {
445 /*
446 * Deletes the list head from the list denoted by @head and
447 * places it as the tail of @list, this effectively rotates the
448 * list so that @list is at the front.
449 */
450 list_move_tail(head, list);
451 }
452
453 /**
454 * list_is_singular - tests whether a list has just one entry.
455 * @head: the list to test.
456 */
list_is_singular(const struct list_head * head)457 static inline int list_is_singular(const struct list_head *head)
458 {
459 return !list_empty(head) && (head->next == head->prev);
460 }
461
__list_cut_position(struct list_head * list,struct list_head * head,struct list_head * entry)462 static inline void __list_cut_position(struct list_head *list,
463 struct list_head *head, struct list_head *entry)
464 {
465 struct list_head *new_first = entry->next;
466 list->next = head->next;
467 list->next->prev = list;
468 list->prev = entry;
469 entry->next = list;
470 head->next = new_first;
471 new_first->prev = head;
472 }
473
474 /**
475 * list_cut_position - cut a list into two
476 * @list: a new list to add all removed entries
477 * @head: a list with entries
478 * @entry: an entry within head, could be the head itself
479 * and if so we won't cut the list
480 *
481 * This helper moves the initial part of @head, up to and
482 * including @entry, from @head to @list. You should
483 * pass on @entry an element you know is on @head. @list
484 * should be an empty list or a list you do not care about
485 * losing its data.
486 *
487 */
list_cut_position(struct list_head * list,struct list_head * head,struct list_head * entry)488 static inline void list_cut_position(struct list_head *list,
489 struct list_head *head, struct list_head *entry)
490 {
491 if (list_empty(head))
492 return;
493 if (list_is_singular(head) && !list_is_head(entry, head) && (entry != head->next))
494 return;
495 if (list_is_head(entry, head))
496 INIT_LIST_HEAD(list);
497 else
498 __list_cut_position(list, head, entry);
499 }
500
501 /**
502 * list_cut_before - cut a list into two, before given entry
503 * @list: a new list to add all removed entries
504 * @head: a list with entries
505 * @entry: an entry within head, could be the head itself
506 *
507 * This helper moves the initial part of @head, up to but
508 * excluding @entry, from @head to @list. You should pass
509 * in @entry an element you know is on @head. @list should
510 * be an empty list or a list you do not care about losing
511 * its data.
512 * If @entry == @head, all entries on @head are moved to
513 * @list.
514 */
list_cut_before(struct list_head * list,struct list_head * head,struct list_head * entry)515 static inline void list_cut_before(struct list_head *list,
516 struct list_head *head,
517 struct list_head *entry)
518 {
519 if (head->next == entry) {
520 INIT_LIST_HEAD(list);
521 return;
522 }
523 list->next = head->next;
524 list->next->prev = list;
525 list->prev = entry->prev;
526 list->prev->next = list;
527 head->next = entry;
528 entry->prev = head;
529 }
530
__list_splice(const struct list_head * list,struct list_head * prev,struct list_head * next)531 static inline void __list_splice(const struct list_head *list,
532 struct list_head *prev,
533 struct list_head *next)
534 {
535 struct list_head *first = list->next;
536 struct list_head *last = list->prev;
537
538 first->prev = prev;
539 prev->next = first;
540
541 last->next = next;
542 next->prev = last;
543 }
544
545 /**
546 * list_splice - join two lists, this is designed for stacks
547 * @list: the new list to add.
548 * @head: the place to add it in the first list.
549 */
list_splice(const struct list_head * list,struct list_head * head)550 static inline void list_splice(const struct list_head *list,
551 struct list_head *head)
552 {
553 if (!list_empty(list))
554 __list_splice(list, head, head->next);
555 }
556
557 /**
558 * list_splice_tail - join two lists, each list being a queue
559 * @list: the new list to add.
560 * @head: the place to add it in the first list.
561 */
list_splice_tail(struct list_head * list,struct list_head * head)562 static inline void list_splice_tail(struct list_head *list,
563 struct list_head *head)
564 {
565 if (!list_empty(list))
566 __list_splice(list, head->prev, head);
567 }
568
569 /**
570 * list_splice_init - join two lists and reinitialise the emptied list.
571 * @list: the new list to add.
572 * @head: the place to add it in the first list.
573 *
574 * The list at @list is reinitialised
575 */
list_splice_init(struct list_head * list,struct list_head * head)576 static inline void list_splice_init(struct list_head *list,
577 struct list_head *head)
578 {
579 if (!list_empty(list)) {
580 __list_splice(list, head, head->next);
581 INIT_LIST_HEAD(list);
582 }
583 }
584
585 /**
586 * list_splice_tail_init - join two lists and reinitialise the emptied list
587 * @list: the new list to add.
588 * @head: the place to add it in the first list.
589 *
590 * Each of the lists is a queue.
591 * The list at @list is reinitialised
592 */
list_splice_tail_init(struct list_head * list,struct list_head * head)593 static inline void list_splice_tail_init(struct list_head *list,
594 struct list_head *head)
595 {
596 if (!list_empty(list)) {
597 __list_splice(list, head->prev, head);
598 INIT_LIST_HEAD(list);
599 }
600 }
601
602 /**
603 * list_entry - get the struct for this entry
604 * @ptr: the &struct list_head pointer.
605 * @type: the type of the struct this is embedded in.
606 * @member: the name of the list_head within the struct.
607 */
608 #define list_entry(ptr, type, member) \
609 container_of(ptr, type, member)
610
611 /**
612 * list_first_entry - get the first element from a list
613 * @ptr: the list head to take the element from.
614 * @type: the type of the struct this is embedded in.
615 * @member: the name of the list_head within the struct.
616 *
617 * Note, that list is expected to be not empty.
618 */
619 #define list_first_entry(ptr, type, member) \
620 list_entry((ptr)->next, type, member)
621
622 /**
623 * list_last_entry - get the last element from a list
624 * @ptr: the list head to take the element from.
625 * @type: the type of the struct this is embedded in.
626 * @member: the name of the list_head within the struct.
627 *
628 * Note, that list is expected to be not empty.
629 */
630 #define list_last_entry(ptr, type, member) \
631 list_entry((ptr)->prev, type, member)
632
633 /**
634 * list_first_entry_or_null - get the first element from a list
635 * @ptr: the list head to take the element from.
636 * @type: the type of the struct this is embedded in.
637 * @member: the name of the list_head within the struct.
638 *
639 * Note that if the list is empty, it returns NULL.
640 */
641 #define list_first_entry_or_null(ptr, type, member) ({ \
642 struct list_head *head__ = (ptr); \
643 struct list_head *pos__ = READ_ONCE(head__->next); \
644 pos__ != head__ ? list_entry(pos__, type, member) : NULL; \
645 })
646
647 /**
648 * list_last_entry_or_null - get the last element from a list
649 * @ptr: the list head to take the element from.
650 * @type: the type of the struct this is embedded in.
651 * @member: the name of the list_head within the struct.
652 *
653 * Note that if the list is empty, it returns NULL.
654 */
655 #define list_last_entry_or_null(ptr, type, member) ({ \
656 struct list_head *head__ = (ptr); \
657 struct list_head *pos__ = READ_ONCE(head__->prev); \
658 pos__ != head__ ? list_entry(pos__, type, member) : NULL; \
659 })
660
661 /**
662 * list_next_entry - get the next element in list
663 * @pos: the type * to cursor
664 * @member: the name of the list_head within the struct.
665 */
666 #define list_next_entry(pos, member) \
667 list_entry((pos)->member.next, typeof(*(pos)), member)
668
669 /**
670 * list_next_entry_circular - get the next element in list
671 * @pos: the type * to cursor.
672 * @head: the list head to take the element from.
673 * @member: the name of the list_head within the struct.
674 *
675 * Wraparound if pos is the last element (return the first element).
676 * Note, that list is expected to be not empty.
677 */
678 #define list_next_entry_circular(pos, head, member) \
679 (list_is_last(&(pos)->member, head) ? \
680 list_first_entry(head, typeof(*(pos)), member) : list_next_entry(pos, member))
681
682 /**
683 * list_prev_entry - get the prev element in list
684 * @pos: the type * to cursor
685 * @member: the name of the list_head within the struct.
686 */
687 #define list_prev_entry(pos, member) \
688 list_entry((pos)->member.prev, typeof(*(pos)), member)
689
690 /**
691 * list_prev_entry_circular - get the prev element in list
692 * @pos: the type * to cursor.
693 * @head: the list head to take the element from.
694 * @member: the name of the list_head within the struct.
695 *
696 * Wraparound if pos is the first element (return the last element).
697 * Note, that list is expected to be not empty.
698 */
699 #define list_prev_entry_circular(pos, head, member) \
700 (list_is_first(&(pos)->member, head) ? \
701 list_last_entry(head, typeof(*(pos)), member) : list_prev_entry(pos, member))
702
703 /**
704 * list_for_each - iterate over a list
705 * @pos: the &struct list_head to use as a loop cursor.
706 * @head: the head for your list.
707 */
708 #define list_for_each(pos, head) \
709 for (pos = (head)->next; !list_is_head(pos, (head)); pos = pos->next)
710
711 /**
712 * list_for_each_rcu - Iterate over a list in an RCU-safe fashion
713 * @pos: the &struct list_head to use as a loop cursor.
714 * @head: the head for your list.
715 */
716 #define list_for_each_rcu(pos, head) \
717 for (pos = rcu_dereference((head)->next); \
718 !list_is_head(pos, (head)); \
719 pos = rcu_dereference(pos->next))
720
721 /**
722 * list_for_each_continue - continue iteration over a list
723 * @pos: the &struct list_head to use as a loop cursor.
724 * @head: the head for your list.
725 *
726 * Continue to iterate over a list, continuing after the current position.
727 */
728 #define list_for_each_continue(pos, head) \
729 for (pos = pos->next; !list_is_head(pos, (head)); pos = pos->next)
730
731 /**
732 * list_for_each_prev - iterate over a list backwards
733 * @pos: the &struct list_head to use as a loop cursor.
734 * @head: the head for your list.
735 */
736 #define list_for_each_prev(pos, head) \
737 for (pos = (head)->prev; !list_is_head(pos, (head)); pos = pos->prev)
738
739 /**
740 * list_for_each_safe - iterate over a list safe against removal of list entry
741 * @pos: the &struct list_head to use as a loop cursor.
742 * @n: another &struct list_head to use as temporary storage
743 * @head: the head for your list.
744 */
745 #define list_for_each_safe(pos, n, head) \
746 for (pos = (head)->next, n = pos->next; \
747 !list_is_head(pos, (head)); \
748 pos = n, n = pos->next)
749
750 /**
751 * list_for_each_prev_safe - iterate over a list backwards safe against removal of list entry
752 * @pos: the &struct list_head to use as a loop cursor.
753 * @n: another &struct list_head to use as temporary storage
754 * @head: the head for your list.
755 */
756 #define list_for_each_prev_safe(pos, n, head) \
757 for (pos = (head)->prev, n = pos->prev; \
758 !list_is_head(pos, (head)); \
759 pos = n, n = pos->prev)
760
761 /**
762 * list_count_nodes - count nodes in the list
763 * @head: the head for your list.
764 */
list_count_nodes(struct list_head * head)765 static inline size_t list_count_nodes(struct list_head *head)
766 {
767 struct list_head *pos;
768 size_t count = 0;
769
770 list_for_each(pos, head)
771 count++;
772
773 return count;
774 }
775
776 /**
777 * list_entry_is_head - test if the entry points to the head of the list
778 * @pos: the type * to cursor
779 * @head: the head for your list.
780 * @member: the name of the list_head within the struct.
781 */
782 #define list_entry_is_head(pos, head, member) \
783 list_is_head(&pos->member, (head))
784
785 /**
786 * list_for_each_entry - iterate over list of given type
787 * @pos: the type * to use as a loop cursor.
788 * @head: the head for your list.
789 * @member: the name of the list_head within the struct.
790 */
791 #define list_for_each_entry(pos, head, member) \
792 for (pos = list_first_entry(head, typeof(*pos), member); \
793 !list_entry_is_head(pos, head, member); \
794 pos = list_next_entry(pos, member))
795
796 /**
797 * list_for_each_entry_reverse - iterate backwards over list of given type.
798 * @pos: the type * to use as a loop cursor.
799 * @head: the head for your list.
800 * @member: the name of the list_head within the struct.
801 */
802 #define list_for_each_entry_reverse(pos, head, member) \
803 for (pos = list_last_entry(head, typeof(*pos), member); \
804 !list_entry_is_head(pos, head, member); \
805 pos = list_prev_entry(pos, member))
806
807 /**
808 * list_prepare_entry - prepare a pos entry for use in list_for_each_entry_continue()
809 * @pos: the type * to use as a start point
810 * @head: the head of the list
811 * @member: the name of the list_head within the struct.
812 *
813 * Prepares a pos entry for use as a start point in list_for_each_entry_continue().
814 */
815 #define list_prepare_entry(pos, head, member) \
816 ((pos) ? : list_entry(head, typeof(*pos), member))
817
818 /**
819 * list_for_each_entry_continue - continue iteration over list of given type
820 * @pos: the type * to use as a loop cursor.
821 * @head: the head for your list.
822 * @member: the name of the list_head within the struct.
823 *
824 * Continue to iterate over list of given type, continuing after
825 * the current position.
826 */
827 #define list_for_each_entry_continue(pos, head, member) \
828 for (pos = list_next_entry(pos, member); \
829 !list_entry_is_head(pos, head, member); \
830 pos = list_next_entry(pos, member))
831
832 /**
833 * list_for_each_entry_continue_reverse - iterate backwards from the given point
834 * @pos: the type * to use as a loop cursor.
835 * @head: the head for your list.
836 * @member: the name of the list_head within the struct.
837 *
838 * Start to iterate over list of given type backwards, continuing after
839 * the current position.
840 */
841 #define list_for_each_entry_continue_reverse(pos, head, member) \
842 for (pos = list_prev_entry(pos, member); \
843 !list_entry_is_head(pos, head, member); \
844 pos = list_prev_entry(pos, member))
845
846 /**
847 * list_for_each_entry_from - iterate over list of given type from the current point
848 * @pos: the type * to use as a loop cursor.
849 * @head: the head for your list.
850 * @member: the name of the list_head within the struct.
851 *
852 * Iterate over list of given type, continuing from current position.
853 */
854 #define list_for_each_entry_from(pos, head, member) \
855 for (; !list_entry_is_head(pos, head, member); \
856 pos = list_next_entry(pos, member))
857
858 /**
859 * list_for_each_entry_from_reverse - iterate backwards over list of given type
860 * from the current point
861 * @pos: the type * to use as a loop cursor.
862 * @head: the head for your list.
863 * @member: the name of the list_head within the struct.
864 *
865 * Iterate backwards over list of given type, continuing from current position.
866 */
867 #define list_for_each_entry_from_reverse(pos, head, member) \
868 for (; !list_entry_is_head(pos, head, member); \
869 pos = list_prev_entry(pos, member))
870
871 /**
872 * list_for_each_entry_safe - iterate over list of given type safe against removal of list entry
873 * @pos: the type * to use as a loop cursor.
874 * @n: another type * to use as temporary storage
875 * @head: the head for your list.
876 * @member: the name of the list_head within the struct.
877 */
878 #define list_for_each_entry_safe(pos, n, head, member) \
879 for (pos = list_first_entry(head, typeof(*pos), member), \
880 n = list_next_entry(pos, member); \
881 !list_entry_is_head(pos, head, member); \
882 pos = n, n = list_next_entry(n, member))
883
884 /**
885 * list_for_each_entry_safe_continue - continue list iteration safe against removal
886 * @pos: the type * to use as a loop cursor.
887 * @n: another type * to use as temporary storage
888 * @head: the head for your list.
889 * @member: the name of the list_head within the struct.
890 *
891 * Iterate over list of given type, continuing after current point,
892 * safe against removal of list entry.
893 */
894 #define list_for_each_entry_safe_continue(pos, n, head, member) \
895 for (pos = list_next_entry(pos, member), \
896 n = list_next_entry(pos, member); \
897 !list_entry_is_head(pos, head, member); \
898 pos = n, n = list_next_entry(n, member))
899
900 /**
901 * list_for_each_entry_safe_from - iterate over list from current point safe against removal
902 * @pos: the type * to use as a loop cursor.
903 * @n: another type * to use as temporary storage
904 * @head: the head for your list.
905 * @member: the name of the list_head within the struct.
906 *
907 * Iterate over list of given type from current point, safe against
908 * removal of list entry.
909 */
910 #define list_for_each_entry_safe_from(pos, n, head, member) \
911 for (n = list_next_entry(pos, member); \
912 !list_entry_is_head(pos, head, member); \
913 pos = n, n = list_next_entry(n, member))
914
915 /**
916 * list_for_each_entry_safe_reverse - iterate backwards over list safe against removal
917 * @pos: the type * to use as a loop cursor.
918 * @n: another type * to use as temporary storage
919 * @head: the head for your list.
920 * @member: the name of the list_head within the struct.
921 *
922 * Iterate backwards over list of given type, safe against removal
923 * of list entry.
924 */
925 #define list_for_each_entry_safe_reverse(pos, n, head, member) \
926 for (pos = list_last_entry(head, typeof(*pos), member), \
927 n = list_prev_entry(pos, member); \
928 !list_entry_is_head(pos, head, member); \
929 pos = n, n = list_prev_entry(n, member))
930
931 /**
932 * list_safe_reset_next - reset a stale list_for_each_entry_safe loop
933 * @pos: the loop cursor used in the list_for_each_entry_safe loop
934 * @n: temporary storage used in list_for_each_entry_safe
935 * @member: the name of the list_head within the struct.
936 *
937 * list_safe_reset_next is not safe to use in general if the list may be
938 * modified concurrently (eg. the lock is dropped in the loop body). An
939 * exception to this is if the cursor element (pos) is pinned in the list,
940 * and list_safe_reset_next is called after re-taking the lock and before
941 * completing the current iteration of the loop body.
942 */
943 #define list_safe_reset_next(pos, n, member) \
944 n = list_next_entry(pos, member)
945
946 /*
947 * Double linked lists with a single pointer list head.
948 * Mostly useful for hash tables where the two pointer list head is
949 * too wasteful.
950 * You lose the ability to access the tail in O(1).
951 */
952
953 #define HLIST_HEAD_INIT { .first = NULL }
954 #define HLIST_HEAD(name) struct hlist_head name = { .first = NULL }
955 #define INIT_HLIST_HEAD(ptr) ((ptr)->first = NULL)
INIT_HLIST_NODE(struct hlist_node * h)956 static inline void INIT_HLIST_NODE(struct hlist_node *h)
957 {
958 h->next = NULL;
959 h->pprev = NULL;
960 }
961
962 /**
963 * hlist_unhashed - Has node been removed from list and reinitialized?
964 * @h: Node to be checked
965 *
966 * Not that not all removal functions will leave a node in unhashed
967 * state. For example, hlist_nulls_del_init_rcu() does leave the
968 * node in unhashed state, but hlist_nulls_del() does not.
969 */
hlist_unhashed(const struct hlist_node * h)970 static inline int hlist_unhashed(const struct hlist_node *h)
971 {
972 return !h->pprev;
973 }
974
975 /**
976 * hlist_unhashed_lockless - Version of hlist_unhashed for lockless use
977 * @h: Node to be checked
978 *
979 * This variant of hlist_unhashed() must be used in lockless contexts
980 * to avoid potential load-tearing. The READ_ONCE() is paired with the
981 * various WRITE_ONCE() in hlist helpers that are defined below.
982 */
hlist_unhashed_lockless(const struct hlist_node * h)983 static inline int hlist_unhashed_lockless(const struct hlist_node *h)
984 {
985 return !READ_ONCE(h->pprev);
986 }
987
988 /**
989 * hlist_empty - Is the specified hlist_head structure an empty hlist?
990 * @h: Structure to check.
991 */
hlist_empty(const struct hlist_head * h)992 static inline int hlist_empty(const struct hlist_head *h)
993 {
994 return !READ_ONCE(h->first);
995 }
996
__hlist_del(struct hlist_node * n)997 static inline void __hlist_del(struct hlist_node *n)
998 {
999 struct hlist_node *next = n->next;
1000 struct hlist_node **pprev = n->pprev;
1001
1002 WRITE_ONCE(*pprev, next);
1003 if (next)
1004 WRITE_ONCE(next->pprev, pprev);
1005 }
1006
1007 /**
1008 * hlist_del - Delete the specified hlist_node from its list
1009 * @n: Node to delete.
1010 *
1011 * Note that this function leaves the node in hashed state. Use
1012 * hlist_del_init() or similar instead to unhash @n.
1013 */
hlist_del(struct hlist_node * n)1014 static inline void hlist_del(struct hlist_node *n)
1015 {
1016 __hlist_del(n);
1017 n->next = LIST_POISON1;
1018 n->pprev = LIST_POISON2;
1019 }
1020
1021 /**
1022 * hlist_del_init - Delete the specified hlist_node from its list and initialize
1023 * @n: Node to delete.
1024 *
1025 * Note that this function leaves the node in unhashed state.
1026 */
hlist_del_init(struct hlist_node * n)1027 static inline void hlist_del_init(struct hlist_node *n)
1028 {
1029 if (!hlist_unhashed(n)) {
1030 __hlist_del(n);
1031 INIT_HLIST_NODE(n);
1032 }
1033 }
1034
1035 /**
1036 * hlist_add_head - add a new entry at the beginning of the hlist
1037 * @n: new entry to be added
1038 * @h: hlist head to add it after
1039 *
1040 * Insert a new entry after the specified head.
1041 * This is good for implementing stacks.
1042 */
hlist_add_head(struct hlist_node * n,struct hlist_head * h)1043 static inline void hlist_add_head(struct hlist_node *n, struct hlist_head *h)
1044 {
1045 struct hlist_node *first = h->first;
1046 WRITE_ONCE(n->next, first);
1047 if (first)
1048 WRITE_ONCE(first->pprev, &n->next);
1049 WRITE_ONCE(h->first, n);
1050 WRITE_ONCE(n->pprev, &h->first);
1051 }
1052
1053 /**
1054 * hlist_add_before - add a new entry before the one specified
1055 * @n: new entry to be added
1056 * @next: hlist node to add it before, which must be non-NULL
1057 */
hlist_add_before(struct hlist_node * n,struct hlist_node * next)1058 static inline void hlist_add_before(struct hlist_node *n,
1059 struct hlist_node *next)
1060 {
1061 WRITE_ONCE(n->pprev, next->pprev);
1062 WRITE_ONCE(n->next, next);
1063 WRITE_ONCE(next->pprev, &n->next);
1064 WRITE_ONCE(*(n->pprev), n);
1065 }
1066
1067 /**
1068 * hlist_add_behind - add a new entry after the one specified
1069 * @n: new entry to be added
1070 * @prev: hlist node to add it after, which must be non-NULL
1071 */
hlist_add_behind(struct hlist_node * n,struct hlist_node * prev)1072 static inline void hlist_add_behind(struct hlist_node *n,
1073 struct hlist_node *prev)
1074 {
1075 WRITE_ONCE(n->next, prev->next);
1076 WRITE_ONCE(prev->next, n);
1077 WRITE_ONCE(n->pprev, &prev->next);
1078
1079 if (n->next)
1080 WRITE_ONCE(n->next->pprev, &n->next);
1081 }
1082
1083 /**
1084 * hlist_add_fake - create a fake hlist consisting of a single headless node
1085 * @n: Node to make a fake list out of
1086 *
1087 * This makes @n appear to be its own predecessor on a headless hlist.
1088 * The point of this is to allow things like hlist_del() to work correctly
1089 * in cases where there is no list.
1090 */
hlist_add_fake(struct hlist_node * n)1091 static inline void hlist_add_fake(struct hlist_node *n)
1092 {
1093 n->pprev = &n->next;
1094 }
1095
1096 /**
1097 * hlist_fake: Is this node a fake hlist?
1098 * @h: Node to check for being a self-referential fake hlist.
1099 */
hlist_fake(struct hlist_node * h)1100 static inline bool hlist_fake(struct hlist_node *h)
1101 {
1102 return h->pprev == &h->next;
1103 }
1104
1105 /**
1106 * hlist_is_singular_node - is node the only element of the specified hlist?
1107 * @n: Node to check for singularity.
1108 * @h: Header for potentially singular list.
1109 *
1110 * Check whether the node is the only node of the head without
1111 * accessing head, thus avoiding unnecessary cache misses.
1112 */
1113 static inline bool
hlist_is_singular_node(struct hlist_node * n,struct hlist_head * h)1114 hlist_is_singular_node(struct hlist_node *n, struct hlist_head *h)
1115 {
1116 return !n->next && n->pprev == &h->first;
1117 }
1118
1119 /**
1120 * hlist_move_list - Move an hlist
1121 * @old: hlist_head for old list.
1122 * @new: hlist_head for new list.
1123 *
1124 * Move a list from one list head to another. Fixup the pprev
1125 * reference of the first entry if it exists.
1126 */
hlist_move_list(struct hlist_head * old,struct hlist_head * new)1127 static inline void hlist_move_list(struct hlist_head *old,
1128 struct hlist_head *new)
1129 {
1130 new->first = old->first;
1131 if (new->first)
1132 new->first->pprev = &new->first;
1133 old->first = NULL;
1134 }
1135
1136 /**
1137 * hlist_splice_init() - move all entries from one list to another
1138 * @from: hlist_head from which entries will be moved
1139 * @last: last entry on the @from list
1140 * @to: hlist_head to which entries will be moved
1141 *
1142 * @to can be empty, @from must contain at least @last.
1143 */
hlist_splice_init(struct hlist_head * from,struct hlist_node * last,struct hlist_head * to)1144 static inline void hlist_splice_init(struct hlist_head *from,
1145 struct hlist_node *last,
1146 struct hlist_head *to)
1147 {
1148 if (to->first)
1149 to->first->pprev = &last->next;
1150 last->next = to->first;
1151 to->first = from->first;
1152 from->first->pprev = &to->first;
1153 from->first = NULL;
1154 }
1155
1156 #define hlist_entry(ptr, type, member) container_of(ptr,type,member)
1157
1158 #define hlist_for_each(pos, head) \
1159 for (pos = (head)->first; pos ; pos = pos->next)
1160
1161 #define hlist_for_each_safe(pos, n, head) \
1162 for (pos = (head)->first; pos && ({ n = pos->next; 1; }); \
1163 pos = n)
1164
1165 #define hlist_entry_safe(ptr, type, member) \
1166 ({ typeof(ptr) ____ptr = (ptr); \
1167 ____ptr ? hlist_entry(____ptr, type, member) : NULL; \
1168 })
1169
1170 /**
1171 * hlist_for_each_entry - iterate over list of given type
1172 * @pos: the type * to use as a loop cursor.
1173 * @head: the head for your list.
1174 * @member: the name of the hlist_node within the struct.
1175 */
1176 #define hlist_for_each_entry(pos, head, member) \
1177 for (pos = hlist_entry_safe((head)->first, typeof(*(pos)), member);\
1178 pos; \
1179 pos = hlist_entry_safe((pos)->member.next, typeof(*(pos)), member))
1180
1181 /**
1182 * hlist_for_each_entry_continue - iterate over a hlist continuing after current point
1183 * @pos: the type * to use as a loop cursor.
1184 * @member: the name of the hlist_node within the struct.
1185 */
1186 #define hlist_for_each_entry_continue(pos, member) \
1187 for (pos = hlist_entry_safe((pos)->member.next, typeof(*(pos)), member);\
1188 pos; \
1189 pos = hlist_entry_safe((pos)->member.next, typeof(*(pos)), member))
1190
1191 /**
1192 * hlist_for_each_entry_from - iterate over a hlist continuing from current point
1193 * @pos: the type * to use as a loop cursor.
1194 * @member: the name of the hlist_node within the struct.
1195 */
1196 #define hlist_for_each_entry_from(pos, member) \
1197 for (; pos; \
1198 pos = hlist_entry_safe((pos)->member.next, typeof(*(pos)), member))
1199
1200 /**
1201 * hlist_for_each_entry_safe - iterate over list of given type safe against removal of list entry
1202 * @pos: the type * to use as a loop cursor.
1203 * @n: a &struct hlist_node to use as temporary storage
1204 * @head: the head for your list.
1205 * @member: the name of the hlist_node within the struct.
1206 */
1207 #define hlist_for_each_entry_safe(pos, n, head, member) \
1208 for (pos = hlist_entry_safe((head)->first, typeof(*pos), member);\
1209 pos && ({ n = pos->member.next; 1; }); \
1210 pos = hlist_entry_safe(n, typeof(*pos), member))
1211
1212 /**
1213 * hlist_count_nodes - count nodes in the hlist
1214 * @head: the head for your hlist.
1215 */
hlist_count_nodes(struct hlist_head * head)1216 static inline size_t hlist_count_nodes(struct hlist_head *head)
1217 {
1218 struct hlist_node *pos;
1219 size_t count = 0;
1220
1221 hlist_for_each(pos, head)
1222 count++;
1223
1224 return count;
1225 }
1226
1227 #endif
1228