Source position: linux.pp line 546
type kernel_timespec = record
tv_sec: kernel_time64_t;
tv_nsec: clonglong;
end;