Commit | Line | Data |
---|---|---|
3c6331b4 DD |
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 | |
41 | extern "C" void __VLTChangePermission (int); | |
42 | #else | |
43 | extern 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__ */ |