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