Source position: ostypes.inc line 536
type kernel_timespec = record
tv_sec: kernel_time64_t;
tv_nsec: clonglong;
end;