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__ */ 56
