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