case VKI_FIONREAD: /* identical to SIOCINQ */
PRE_MEM_WRITE( "ioctl(FIONREAD)", ARG3, sizeof(int) );
break;
+ case VKI_FIOQSIZE:
+ PRE_MEM_WRITE( "ioctl(FIOQSIZE)", ARG3, sizeof(vki_loff_t) );
+ break;
case VKI_TIOCSERGETLSR:
PRE_MEM_WRITE( "ioctl(TIOCSERGETLSR)", ARG3, sizeof(int) );
case VKI_FIONREAD: /* identical to SIOCINQ */
POST_MEM_WRITE( ARG3, sizeof(int) );
break;
+ case VKI_FIOQSIZE:
+ POST_MEM_WRITE( ARG3, sizeof(vki_loff_t) );
+ break;
case VKI_TIOCSERGETLSR:
POST_MEM_WRITE( ARG3, sizeof(int) );
#define VKI_TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */
+//----------------------------------------------------------------------
+// From linux-2.6.39-rc2/arch/arm/include/asm/ioctls.h
+//----------------------------------------------------------------------
+
+#define VKI_FIOQSIZE 0x545E
+
//----------------------------------------------------------------------
// From asm-generic/poll.h
//----------------------------------------------------------------------
#define VKI_EV_MAX 0x1f
#define VKI_EV_CNT (VKI_EV_MAX+1)
+//----------------------------------------------------------------------
+// From linux-2.6.39-rc2/include/asm_generic/ioctls.h
+//----------------------------------------------------------------------
+
+#ifndef VKI_FIOQSIZE
+#define VKI_FIOQSIZE 0x5460 /* Value differs on some platforms */
+#endif
+
#endif // __VKI_LINUX_H
/*--------------------------------------------------------------------*/
//#define VKI_TIOCMIWAIT 0x545C /* wait for a change on serial input line(s) */
#define VKI_TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */
+//----------------------------------------------------------------------
+// From linux-2.6.39-rc2/arch/powerpc/include/asm/ioctls.h
+//----------------------------------------------------------------------
+
+#define VKI_FIOQSIZE VKI_IOR('f', 128, vki_loff_t)
+
//----------------------------------------------------------------------
// From linux-2.6.9/include/asm-ppc/poll.h
//----------------------------------------------------------------------
#define VKI_TIOCSERGETLSR 0x5459 /* Get line status register */
#define VKI_TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */
+//----------------------------------------------------------------------
+// From linux-2.6.39-rc2/arch/powerpc/include/asm/ioctls.h
+//----------------------------------------------------------------------
+
+#define VKI_FIOQSIZE VKI_IOR('f', 128, vki_loff_t)
+
//----------------------------------------------------------------------
// From linux-2.6.13/include/asm-ppc64/poll.h
//----------------------------------------------------------------------
#define VKI_TIOCGICOUNT 0x545D /* read serial port inline interrupt counts */
+//----------------------------------------------------------------------
+// From linux-2.6.39-rc2/arch/s390/include/asm/ioctls.h
+//----------------------------------------------------------------------
+
+#define VKI_FIOQSIZE 0x545E
//----------------------------------------------------------------------
// From linux-2.6.16.60/include/asm-s390/poll.h