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-2013 Julian Seward 12 jseward@acm.org 13 Copyright (C) 2005-2013 Nicholas Nethercote 14 njn@valgrind.org 15 Copyright (C) 2006-2013 OpenWorks LLP 16 info@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 # include "vki/vki-linux-drm.h" 51 #elif defined(VGO_darwin) 52 # include "vki/vki-darwin.h" 53 #else 54 # error Unknown Plat/OS 55 #endif 56 57 #if defined(VGP_amd64_linux) || defined(VGP_x86_linux) 58 # include "vki/vki-xen.h" 59 #endif 60 61 62 #endif // __PUB_TOOL_VKI_H 63 64 /*--------------------------------------------------------------------*/ 65 /*--- end pub_tool_vki.h ---*/ 66 /*--------------------------------------------------------------------*/ 67