l4/pkg/valgrind/src/valgrind-3.6.0-svn/include/pub_l4re_consts.h

   1 /*--------------------------------------------------------------------*/
   2 /*--- L4Re specific constants                    pub_l4re_consts.h ---*/
   3 /*--------------------------------------------------------------------*/
   4
   5 /*
   6    This file is part of Valgrind, a dynamic binary instrumentation
   7    framework.
   8
   9    Copyright (C) 2000-2008 Julian Seward
  10       jseward@acm.org
  11
  12    This program is free software; you can redistribute it and/or
  13    modify it under the terms of the GNU General Public License as
  14    published by the Free Software Foundation; either version 2 of the
  15    License, or (at your option) any later version.
  16
  17    This program is distributed in the hope that it will be useful, but
  18    WITHOUT ANY WARRANTY; without even the implied warranty of
  19    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  20    General Public License for more details.
  21
  22    You should have received a copy of the GNU General Public License
  23    along with this program; if not, write to the Free Software
  24    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
  25    02111-1307, USA.
  26
  27    The GNU General Public License is contained in the file COPYING.
  28 */
  29
  30 #ifndef __PUB_L4RE_CONSTS_H
  31 #define __PUB_L4RE_CONSTS_H
  32
  33 #define L4RE_KIP_ADDR 0xaffff000
  34 #define L4RE_KERNEL_START 0xb0000000
  35 #define SYSCALL_PAGE 0xeacff000
  36 #define L4RE_UTCB_SIZE 512
  37 #define L4RE_STACKSIZE  (1024*1024*8)
  38
  39 /*
  40  * Debug options for L4RE
  41  */
  42 //#define L4RE_DEBUG_EXECUTION
  43
  44 #endif   // __PUB_L4RE_CONSTS_H
  45
  46 /*--------------------------------------------------------------------*/
  47 /*--- end                                                          ---*/
  48 /*--------------------------------------------------------------------*/