Add missing VKI_ prefixes.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5636 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/include/vki-amd64-linux.h b/include/vki-amd64-linux.h
index dec58e7..bf1c801 100644
--- a/include/vki-amd64-linux.h
+++ b/include/vki-amd64-linux.h
@@ -432,9 +432,9 @@
#define VKI_TIOCSPTLCK _VKI_IOW('T',0x31, int) /* Lock/unlock Pty */
#define VKI_FIOASYNC 0x5452
-#define TIOCSERGETLSR 0x5459 /* Get line status register */
+#define VKI_TIOCSERGETLSR 0x5459 /* Get line status register */
-#define TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */
+#define VKI_IOCGICOUNT 0x545D /* read serial port inline interrupt counts */
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-x86_64/poll.h