case VKI_BLKGETSIZE64:
PRE_MEM_WRITE( "ioctl(BLKGETSIZE64)", ARG3, sizeof(unsigned long long));
break;
+ case VKI_BLKPBSZGET:
+ PRE_MEM_WRITE( "ioctl(BLKPBSZGET)", ARG3, sizeof(int));
+ break;
/* Hard disks */
case VKI_HDIO_GETGEO: /* 0x0301 */
case VKI_BLKGETSIZE64:
POST_MEM_WRITE(ARG3, sizeof(unsigned long long));
break;
+ case VKI_BLKPBSZGET:
+ POST_MEM_WRITE(ARG3, sizeof(int));
+ break;
/* Hard disks */
case VKI_HDIO_GETGEO: /* 0x0301 */
#define VKI_BLKBSZGET _VKI_IOR(0x12,112,vki_size_t)
#define VKI_BLKBSZSET _VKI_IOW(0x12,113,vki_size_t)
#define VKI_BLKGETSIZE64 _VKI_IOR(0x12,114,vki_size_t) /* return device size in bytes (u64 *arg) */
+#define VKI_BLKPBSZGET _VKI_IO(0x12,123)
#define VKI_FIBMAP _VKI_IO(0x00,1) /* bmap access */
#define VKI_FIGETBSZ _VKI_IO(0x00,2) /* get the block size used for bmap */