Commit | Line | Data |
---|---|---|
199a9afc DJ |
1 | /* |
2 | * Copyright 2006, Red Hat, Inc., Dave Jones | |
3 | * Released under the General Public License (GPL). | |
4 | * | |
d7c81673 | 5 | * This file contains the linked list validation for DEBUG_LIST. |
199a9afc DJ |
6 | */ |
7 | ||
8bc3bcc9 | 8 | #include <linux/export.h> |
199a9afc | 9 | #include <linux/list.h> |
50af5ead | 10 | #include <linux/bug.h> |
b116ee4d | 11 | #include <linux/kernel.h> |
559f9bad | 12 | #include <linux/rculist.h> |
199a9afc DJ |
13 | |
14 | /* | |
d7c81673 KC |
15 | * Check that the data structures for the list manipulations are reasonably |
16 | * valid. Failures here indicate memory corruption (and possibly an exploit | |
17 | * attempt). | |
199a9afc DJ |
18 | */ |
19 | ||
d7c81673 KC |
20 | bool __list_add_valid(struct list_head *new, struct list_head *prev, |
21 | struct list_head *next) | |
199a9afc | 22 | { |
0cc011c5 GR |
23 | if (CHECK_DATA_CORRUPTION(prev == NULL, |
24 | "list_add corruption. prev is NULL.\n") || | |
25 | CHECK_DATA_CORRUPTION(next == NULL, | |
26 | "list_add corruption. next is NULL.\n") || | |
27 | CHECK_DATA_CORRUPTION(next->prev != prev, | |
68c1f082 | 28 | "list_add corruption. next->prev should be prev (%px), but was %px. (next=%px).\n", |
85caa95b KC |
29 | prev, next->prev, next) || |
30 | CHECK_DATA_CORRUPTION(prev->next != next, | |
68c1f082 | 31 | "list_add corruption. prev->next should be next (%px), but was %px. (prev=%px).\n", |
85caa95b KC |
32 | next, prev->next, prev) || |
33 | CHECK_DATA_CORRUPTION(new == prev || new == next, | |
68c1f082 | 34 | "list_add double add: new=%px, prev=%px, next=%px.\n", |
85caa95b KC |
35 | new, prev, next)) |
36 | return false; | |
de54ebbe | 37 | |
d7c81673 | 38 | return true; |
199a9afc | 39 | } |
d7c81673 | 40 | EXPORT_SYMBOL(__list_add_valid); |
199a9afc | 41 | |
0cd340dc | 42 | bool __list_del_entry_valid(struct list_head *entry) |
3c18d4de LT |
43 | { |
44 | struct list_head *prev, *next; | |
45 | ||
46 | prev = entry->prev; | |
47 | next = entry->next; | |
48 | ||
0cc011c5 GR |
49 | if (CHECK_DATA_CORRUPTION(next == NULL, |
50 | "list_del corruption, %px->next is NULL\n", entry) || | |
51 | CHECK_DATA_CORRUPTION(prev == NULL, | |
52 | "list_del corruption, %px->prev is NULL\n", entry) || | |
53 | CHECK_DATA_CORRUPTION(next == LIST_POISON1, | |
68c1f082 | 54 | "list_del corruption, %px->next is LIST_POISON1 (%px)\n", |
85caa95b KC |
55 | entry, LIST_POISON1) || |
56 | CHECK_DATA_CORRUPTION(prev == LIST_POISON2, | |
68c1f082 | 57 | "list_del corruption, %px->prev is LIST_POISON2 (%px)\n", |
85caa95b KC |
58 | entry, LIST_POISON2) || |
59 | CHECK_DATA_CORRUPTION(prev->next != entry, | |
a31f9336 ZL |
60 | "list_del corruption. prev->next should be %px, but was %px. (prev=%px)\n", |
61 | entry, prev->next, prev) || | |
85caa95b | 62 | CHECK_DATA_CORRUPTION(next->prev != entry, |
a31f9336 ZL |
63 | "list_del corruption. next->prev should be %px, but was %px. (next=%px)\n", |
64 | entry, next->prev, next)) | |
85caa95b KC |
65 | return false; |
66 | ||
0cd340dc | 67 | return true; |
3c18d4de | 68 | |
199a9afc | 69 | } |
0cd340dc | 70 | EXPORT_SYMBOL(__list_del_entry_valid); |