Remove unused file.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3810

diff --git a/coregrind/x86-linux/platform-private.h b/coregrind/x86-linux/platform-private.h
deleted file mode 100644 (file)
index 8668693..0000000
--- a/coregrind/x86-linux/platform-private.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef _X86_LINUX_PRIVATE_H
-#define _X86_LINUX_PRIVATE_H
-
-/* These are addresses within VGA_(blocking_syscall).  See syscall.S for details. */
-extern const Word VGA_(blksys_setup);
-extern const Word VGA_(blksys_restart);
-extern const Word VGA_(blksys_complete);
-extern const Word VGA_(blksys_committed);
-
-#endif /* _X86_LINUX_PRIVATE_H */