1 2 /*--------------------------------------------------------------------*/ 3 /*--- Top level for kernel interface declarations. ---*/ 4 /*--- pub_tool_vki.h ---*/ 5 /*--------------------------------------------------------------------*/ 6 7 /* 8 This file is part of Valgrind, a dynamic binary instrumentation 9 framework. 10 11 Copyright (C) 2000-2011 Julian Seward 12 jseward (at) acm.org 13 Copyright (C) 2005-2011 Nicholas Nethercote 14 njn (at) valgrind.org 15 Copyright (C) 2006-2011 OpenWorks LLP 16 info (at) open-works.co.uk 17 18 This program is free software; you can redistribute it and/or 19 modify it under the terms of the GNU General Public License as 20 published by the Free Software Foundation; either version 2 of the 21 License, or (at your option) any later version. 22 23 This program is distributed in the hope that it will be useful, but 24 WITHOUT ANY WARRANTY; without even the implied warranty of 25 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 26 General Public License for more details. 27 28 You should have received a copy of the GNU General Public License 29 along with this program; if not, write to the Free Software 30 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 31 02111-1307, USA. 32 33 The GNU General Public License is contained in the file COPYING. 34 */ 35 36 /* This file defines types and constants for the kernel interface, and to 37 make that clear everything is prefixed VKI_/vki_. 38 39 This file is merely a top-level "steering" file, which pulls in the 40 correct bits for the relevant platform. You should not directly 41 #include any file in include/vki; instead #include only this one or 42 pub_core_vki.h. 43 */ 44 45 #ifndef __PUB_TOOL_VKI_H 46 #define __PUB_TOOL_VKI_H 47 48 #if defined(VGO_linux) 49 # include "vki/vki-linux.h" 50 #elif defined(VGO_darwin) 51 # include "vki/vki-darwin.h" 52 #else 53 # error Unknown Plat/OS 54 #endif 55 56 #endif // __PUB_TOOL_VKI_H 57 58 /*--------------------------------------------------------------------*/ 59 /*--- end pub_tool_vki.h ---*/ 60 /*--------------------------------------------------------------------*/ 61
