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