case VKI_BLKPBSZGET:
PRE_MEM_WRITE( "ioctl(BLKPBSZGET)", ARG3, sizeof(int));
break;
+ case VKI_BLKIOMIN:
+ PRE_MEM_WRITE( "ioctl(BLKIOMIN)", ARG3, sizeof(vki_uint));
+ break;
+ case VKI_BLKIOOPT:
+ PRE_MEM_WRITE( "ioctl(BLKIOOPT)", ARG3, sizeof(vki_uint));
+ break;
+ case VKI_BLKALIGNOFF:
+ PRE_MEM_WRITE( "ioctl(BLKALIGNOFF)", ARG3, sizeof(int));
+ break;
case VKI_BLKDISCARDZEROES:
PRE_MEM_WRITE( "ioctl(BLKDISCARDZEROES)", ARG3, sizeof(vki_uint));
break;
case VKI_BLKPBSZGET:
POST_MEM_WRITE(ARG3, sizeof(int));
break;
+ case VKI_BLKIOMIN:
+ POST_MEM_WRITE(ARG3, sizeof(vki_uint));
+ break;
+ case VKI_BLKIOOPT:
+ POST_MEM_WRITE(ARG3, sizeof(vki_uint));
+ break;
+ case VKI_BLKALIGNOFF:
+ POST_MEM_WRITE(ARG3, sizeof(int));
+ break;
case VKI_BLKDISCARDZEROES:
POST_MEM_WRITE(ARG3, sizeof(vki_uint));
break;
#define VKI_PPSETFLAGS _VKI_IOW(VKI_PP_IOCTL, 0x9b, int)
//----------------------------------------------------------------------
-// From linux-3.16/include/uapi/linux/fs.h
+// From linux-5.2.5/include/uapi/linux/fs.h
//----------------------------------------------------------------------
#define VKI_BLKROSET _VKI_IO(0x12,93) /* set device read-only (0 = read-write) */
#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_BLKDISCARD _VKI_IO(0x12,119)
+#define VKI_BLKIOMIN _VKI_IO(0x12,120)
+#define VKI_BLKIOOPT _VKI_IO(0x12,121)
+#define VKI_BLKALIGNOFF _VKI_IO(0x12,122)
#define VKI_BLKPBSZGET _VKI_IO(0x12,123)
#define VKI_BLKDISCARDZEROES _VKI_IO(0x12,124)
#define VKI_BLKZEROOUT _VKI_IO(0x12,127)