Subversion Repositories shark

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
2 pj 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *   Paolo Gai           <pj@gandalf.sssup.it>
10
 *   (see the web pages for full authors list)
11
 *
12
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
13
 *
14
 * http://www.sssup.it
15
 * http://retis.sssup.it
16
 * http://shark.sssup.it
17
 */
18
 
19
/**
20
 ------------
21
 CVS :        $Id: dump.c,v 1.1.1.1 2002-03-29 14:12:52 pj Exp $
22
 
23
 File:        $File$
24
 Revision:    $Revision: 1.1.1.1 $
25
 Last update: $Date: 2002-03-29 14:12:52 $
26
 ------------
27
 
28
this code is from:
29
List-based Memory Management, from OsKit.
30
 
31
**/
32
 
33
/*
34
 * Copyright (C) 2000 Paolo Gai
35
 *
36
 * This program is free software; you can redistribute it and/or modify
37
 * it under the terms of the GNU General Public License as published by
38
 * the Free Software Foundation; either version 2 of the License, or
39
 * (at your option) any later version.
40
 *
41
 * This program is distributed in the hope that it will be useful,
42
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
43
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
44
 * GNU General Public License for more details.
45
 *
46
 * You should have received a copy of the GNU General Public License
47
 * along with this program; if not, write to the Free Software
48
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
49
 *
50
 */
51
/*
52
 * Copyright (c) 1995, 1998-1999 University of Utah and the Flux Group.
53
 * All rights reserved.
54
 *
55
 * This file is part of the Flux OSKit.  The OSKit is free software, also known
56
 * as "open source;" you can redistribute it and/or modify it under the terms
57
 * of the GNU General Public License (GPL), version 2, as published by the Free
58
 * Software Foundation (FSF).  To explore alternate licensing terms, contact
59
 * the University of Utah at csl-dist@cs.utah.edu or +1-801-585-3271.
60
 *
61
 * The OSKit is distributed in the hope that it will be useful, but WITHOUT ANY
62
 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
63
 * FOR A PARTICULAR PURPOSE.  See the GPL for more details.  You should have
64
 * received a copy of the GPL along with the OSKit; see the file COPYING.  If
65
 * not, write to the FSF, 59 Temple Place #330, Boston, MA 02111-1307, USA.
66
 */
67
 
68
/*
69
 * Debugging routine:
70
 * dump an LMM memory pool and do a thorough sanity check on it.
71
 */
72
 
73
#ifndef DEBUG
74
#define DEBUG
75
#endif
76
 
77
#include <ll/stdio.h>
78
#include <kernel/func.h>
79
#include <kernel/lmm.h>
80
#define assert(test) assertk(test)
81
 
82
void lmm_dump(lmm_t *lmm)
83
{
84
        struct lmm_region *reg;
85
 
86
        kern_printf("lmm_dump(lmm=%p)\n", lmm);
87
 
88
        for (reg = lmm->regions; reg; reg = reg->next)
89
        {
90
                struct lmm_node *node;
91
                size_t free_check;
92
 
93
                kern_printf(" region %08lx-%08lx size=%08lx flags=%08lx pri=%d free=%08lx\n",
94
                        reg->min, reg->max, reg->max - reg->min,
95
                        reg->flags, reg->pri, reg->free);
96
 
97
                CHECKREGPTR(reg);
98
 
99
                free_check = 0;
100
                for (node = reg->nodes; node; node = node->next)
101
                {
102
                        kern_printf("  node %p-%08lx size=%08lx next=%p\n",
103
                                node, (DWORD)node + node->size, node->size, node->next);
104
 
105
                        assert(((DWORD)node & ALIGN_MASK) == 0);
106
                        assert((node->size & ALIGN_MASK) == 0);
107
                        assert(node->size >= sizeof(*node));
108
                        assert((node->next == 0) || (node->next > node));
109
                        assert((DWORD)node < reg->max);
110
 
111
                        free_check += node->size;
112
                }
113
 
114
                kern_printf(" free_check=%08lx\n", free_check);
115
                assert(reg->free == free_check);
116
        }
117
 
118
        kern_printf("lmm_dump done\n");
119
}
120