From: Nicholas Nethercote Date: Sun, 29 May 2005 17:05:49 +0000 (+0000) Subject: Remove unused file. X-Git-Tag: svn/VALGRIND_3_0_0~508 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=7b36ccfb56b343f850bf7fe2be49d8e2335cc15b;p=thirdparty%2Fvalgrind.git 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 index 8668693cf6..0000000000 --- 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 */