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