I added these as part of the work on bug 317127.
__vki_kernel_fsid_t f_fsid;
long f_namelen;
long f_frsize;
- long f_spare[5];
+ long f_flags;
+ long f_spare[4];
+};
+
+//----------------------------------------------------------------------
+// From bits/statfs.h
+//----------------------------------------------------------------------
+
+struct vki_statfs64
+{
+ long f_type;
+ long f_bsize;
+ unsigned long f_blocks;
+ unsigned long f_bfree;
+ unsigned long f_bavail;
+ unsigned long f_files;
+ unsigned long f_ffree;
+ __vki_kernel_fsid_t f_fsid;
+ long f_namelen;
+ long f_frsize;
+ long f_flags;
+ long f_spare[4];
};
//----------------------------------------------------------------------
__vki_u32 stx_dev_major; /* ID of device containing file [uncond] */
__vki_u32 stx_dev_minor;
/* 0x90 */
- __vki_u64 __spare2[14]; /* Spare space for future expansion */
+ __vki_u64 stx_mnt_id;
+ __vki_u32 stx_dio_mem_align; /* Memory buffer alignment for direct I/O */
+ __vki_u32 stx_dio_offset_align; /* File offset alignment for direct I/O */
+ /* 0xa0 */
+
+ __vki_u64 __spare2[12]; /* Spare space for future expansion */
/* 0x100 */
};