git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4161
case VKI_BLKGETSIZE:
PRE_MEM_WRITE( "ioctl(BLKGETSIZE)", ARG3, sizeof(unsigned long));
break;
+ case VKI_BLKGETSIZE64:
+ PRE_MEM_WRITE( "ioctl(BLKGETSIZE64)", ARG3, sizeof(unsigned long long));
+ break;
/* Hard disks */
case VKI_HDIO_GET_IDENTITY: /* 0x030d */
case VKI_BLKGETSIZE:
POST_MEM_WRITE(ARG3, sizeof(unsigned long));
break;
+ case VKI_BLKGETSIZE64:
+ POST_MEM_WRITE(ARG3, sizeof(unsigned long long));
+ break;
/* Hard disks */
case VKI_HDIO_GET_IDENTITY: /* 0x030d */
//----------------------------------------------------------------------
#define VKI_BLKGETSIZE _VKI_IO(0x12,96) /* return device size /512 (long *arg) */
+#define VKI_BLKGETSIZE64 _VKI_IOR(0x12,114, vki_size_t) /* return device size in bytes (u64 *arg) */
#define VKI_FIBMAP _VKI_IO(0x00,1) /* bmap access */
#define VKI_FIGETBSZ _VKI_IO(0x00,2) /* get the block size used for bmap */