2006-09-29 12:59:00 +04:00
/*
* Copyright 2006 , Red Hat , Inc . , Dave Jones
* Released under the General Public License ( GPL ) .
*
2016-08-18 00:42:08 +03:00
* This file contains the linked list validation for DEBUG_LIST .
2006-09-29 12:59:00 +04:00
*/
2011-11-17 06:29:17 +04:00
# include <linux/export.h>
2006-09-29 12:59:00 +04:00
# include <linux/list.h>
2012-01-21 03:35:53 +04:00
# include <linux/bug.h>
2012-01-21 03:46:49 +04:00
# include <linux/kernel.h>
2012-03-15 06:17:39 +04:00
# include <linux/rculist.h>
2006-09-29 12:59:00 +04:00
/*
2016-08-18 00:42:08 +03:00
* Check that the data structures for the list manipulations are reasonably
* valid . Failures here indicate memory corruption ( and possibly an exploit
* attempt ) .
2006-09-29 12:59:00 +04:00
*/
2016-08-18 00:42:08 +03:00
bool __list_add_valid ( struct list_head * new , struct list_head * prev ,
struct list_head * next )
2006-09-29 12:59:00 +04:00
{
2016-08-18 00:42:08 +03:00
if ( unlikely ( next - > prev ! = prev ) ) {
WARN ( 1 , " list_add corruption. next->prev should be prev (%p), but was %p. (next=%p). \n " ,
prev , next - > prev , next ) ;
return false ;
}
if ( unlikely ( prev - > next ! = next ) ) {
WARN ( 1 , " list_add corruption. prev->next should be next (%p), but was %p. (prev=%p). \n " ,
next , prev - > next , prev ) ;
return false ;
}
if ( unlikely ( new = = prev | | new = = next ) ) {
WARN ( 1 , " list_add double add: new=%p, prev=%p, next=%p. \n " ,
new , prev , next ) ;
return false ;
}
return true ;
2006-09-29 12:59:00 +04:00
}
2016-08-18 00:42:08 +03:00
EXPORT_SYMBOL ( __list_add_valid ) ;
2006-09-29 12:59:00 +04:00
2011-02-18 22:32:28 +03:00
void __list_del_entry ( struct list_head * entry )
{
struct list_head * prev , * next ;
prev = entry - > prev ;
next = entry - > next ;
if ( WARN ( next = = LIST_POISON1 ,
" list_del corruption, %p->next is LIST_POISON1 (%p) \n " ,
entry , LIST_POISON1 ) | |
WARN ( prev = = LIST_POISON2 ,
" list_del corruption, %p->prev is LIST_POISON2 (%p) \n " ,
entry , LIST_POISON2 ) | |
WARN ( prev - > next ! = entry ,
" list_del corruption. prev->next should be %p, "
" but was %p \n " , entry , prev - > next ) | |
WARN ( next - > prev ! = entry ,
" list_del corruption. next->prev should be %p, "
" but was %p \n " , entry , next - > prev ) )
return ;
__list_del ( prev , next ) ;
}
EXPORT_SYMBOL ( __list_del_entry ) ;
2006-09-29 12:59:00 +04:00
/**
* list_del - deletes entry from list .
* @ entry : the element to delete from the list .
* Note : list_empty on entry does not return true after this , the entry is
* in an undefined state .
*/
void list_del ( struct list_head * entry )
{
2011-02-18 22:32:28 +03:00
__list_del_entry ( entry ) ;
2006-09-29 12:59:00 +04:00
entry - > next = LIST_POISON1 ;
entry - > prev = LIST_POISON2 ;
}
EXPORT_SYMBOL ( list_del ) ;