Source position: linux.pp line 520
type statx_timestamp = record
tv_sec: __s64;
tv_nsec: __u32;
__reserved: __s32;
end;