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