1/* Copyright (C) 2013
2   Free Software Foundation
3
4   This file is part of GCC.
5
6   modify it under the terms of the GNU Library General Public License
7   as published by the Free Software Foundation; either version 2, or
8   (at your option) any later version.
9
10   In addition to the permissions in the GNU Library General Public
11   License, the Free Software Foundation gives you unlimited
12   permission to link the compiled version of this file into
13   combinations with other programs, and to distribute those
14   combinations without any restriction coming from the use of this
15   file.  (The Library Public License restrictions do apply in other
16   respects; for example, they cover modification of the file, and
17   distribution when not linked into a combined executable.)
18
19   This program is distributed in the hope that it will be useful, but
20   WITHOUT ANY WARRANTY; without even the implied warranty of
21   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
22   Library General Public License for more details.
23
24   You should have received a copy of the GNU Library General Public
25   License along with this program; if not, write to the Free Software
26   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA
27   02110-1301, USA.  */
28
29
30#ifndef __VTV_H__
31#define __VTV_H__
32
33/* We could have used an enumeration here but it just makes it more
34   difficult for the compiler to generate a call to this.  These are
35   used as arguments to the function __VLTChangePermission, declared
36   below.  */
37#define __VLTP_READ_ONLY  0
38#define __VLTP_READ_WRITE 1
39
40#ifdef __cplusplus
41extern "C" void __VLTChangePermission (int);
42#else
43extern void __VLTChangePermission (int);
44#endif
45
46#ifdef BIG_PAGE_SIZE
47/* TODO - Replace '4096' below with correct big page size.  */
48#define VTV_PAGE_SIZE 4096
49#else
50#define VTV_PAGE_SIZE 4096
51#endif
52
53
54
55#endif /* __VTV_H__ */
56