084a3966cc
not the necessarily the same as the seconds part of getmicrotime() yet, and anyway, we should have used `time_second' if we only wanted a sloppy value for the seconds part. There is no point in making ibcs2's time(2) more efficient than FreeBSD's time(3).