1 files changed, 0 insertions, 55 deletions
diff --git a/include/vtv-change-permission.h b/include/vtv-change-permission.h
deleted file mode 100644
index 1adcb9745..000000000
--- a/include/vtv-change-permission.h
+++ /dev/null
@@ -1,55 +0,0 @@
-/* Copyright (C) 2013
-   Free Software Foundation
-  
-   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__ */