blob: f33c6b4f32752c5009cef85c9a03d7f45ebfbf25 [file] [log] [blame]
sewardj4eee4762006-10-14 15:51:32 +00001
2/*--------------------------------------------------------------------*/
3/*--- Top level for kernel interface system call numbers. ---*/
4/*--- pub_tool_vkiscnums.h ---*/
5/*--------------------------------------------------------------------*/
6
7/*
8 This file is part of Valgrind, a dynamic binary instrumentation
9 framework.
10
11 Copyright (C) 2005-2006 Nicholas Nethercote
12 njn@valgrind.org
13 Copyright (C) 2006-2006 OpenWorks LLP
14 info@open-works.co.uk
15
16 This program is free software; you can redistribute it and/or
17 modify it under the terms of the GNU General Public License as
18 published by the Free Software Foundation; either version 2 of the
19 License, or (at your option) any later version.
20
21 This program is distributed in the hope that it will be useful, but
22 WITHOUT ANY WARRANTY; without even the implied warranty of
23 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
24 General Public License for more details.
25
26 You should have received a copy of the GNU General Public License
27 along with this program; if not, write to the Free Software
28 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
29 02111-1307, USA.
30
31 The GNU General Public License is contained in the file COPYING.
32*/
33
34/* This file defines the system call numbers.
35
36 On Linux they are a bunch of #define'd constants of the form
37 __NR_name, and this file must contain nothing else, since it will
38 be included in assembly code (m_trampoline.S).
39
40 On AIX the __NR_name consts are renamings of global variables which
41 tell us the number for each syscall. This elaboration is necessary
42 because on AIX the syscall numbers are not constant; they can be
43 different for each process (in principle; in practice they rarely
44 change). 32- and 64-bit AIX5 share a common "implementation".
45
46 This file is merely a top-level "steering" file, which pulls in the
47 correct bits for the relevant platform. You should not directly
48 #include any file in include/vki; instead #include only this one or
49 pub_core_vkiscnums.h.
50*/
51
52#ifndef __PUB_TOOL_VKISCNUMS_H
53#define __PUB_TOOL_VKISCNUMS_H
54
55#if defined(VGP_x86_linux)
56# include "vki/vki-scnums-x86-linux.h"
57#elif defined(VGP_amd64_linux)
58# include "vki/vki-scnums-amd64-linux.h"
59#elif defined(VGP_ppc32_linux)
60# include "vki/vki-scnums-ppc32-linux.h"
61#elif defined(VGP_ppc64_linux)
62# include "vki/vki-scnums-ppc64-linux.h"
63#elif defined(VGP_ppc32_aix5) || defined(VGP_ppc64_aix5)
64# include "vki/vki-scnums-aix5.h"
65#else
66# error Unknown platform
67#endif
68
69#endif // __PUB_TOOL_VKISCNUMS_H
70
71/*--------------------------------------------------------------------*/
72/*--- end ---*/
73/*--------------------------------------------------------------------*/