12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455 |
- /* Copyright (C) 2013-2015 Free Software Foundation, Inc.
-
- This file is part of GCC.
-
- modify it under the terms of the GNU Library General Public License
- as published by the Free Software Foundation; either version 2, or
- (at your option) any later version.
- In addition to the permissions in the GNU Library General Public
- License, the Free Software Foundation gives you unlimited
- permission to link the compiled version of this file into
- combinations with other programs, and to distribute those
- combinations without any restriction coming from the use of this
- file. (The Library Public License restrictions do apply in other
- respects; for example, they cover modification of the file, and
- distribution when not linked into a combined executable.)
- This program is distributed in the hope that it will be useful, but
- WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Library General Public License for more details.
- You should have received a copy of the GNU Library General Public
- License along with this program; if not, write to the Free Software
- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, MA
- 02110-1301, USA. */
- #ifndef __VTV_H__
- #define __VTV_H__
- /* We could have used an enumeration here but it just makes it more
- difficult for the compiler to generate a call to this. These are
- used as arguments to the function __VLTChangePermission, declared
- below. */
- #define __VLTP_READ_ONLY 0
- #define __VLTP_READ_WRITE 1
- #ifdef __cplusplus
- extern "C" void __VLTChangePermission (int);
- #else
- extern void __VLTChangePermission (int);
- #endif
- #ifdef BIG_PAGE_SIZE
- /* TODO - Replace '4096' below with correct big page size. */
- #define VTV_PAGE_SIZE 4096
- #else
- #define VTV_PAGE_SIZE 4096
- #endif
- #endif /* __VTV_H__ */
|