Source position: ostypes.inc line 105
type statx64_timestamp = record
tv_sec: cint64;
tv_nsec: cuint32;
__reserved: cint32;
end;