Lines Matching defs:sec
46 long sec, usec;
92 sec = real.it_interval.tv_sec - real.it_value.tv_sec;
95 --sec;
98 LispMessage("Real time : %g sec", sec + usec / 1000000.0);
100 sec = virt.it_interval.tv_sec - virt.it_value.tv_sec;
103 --sec;
106 LispMessage("Virtual time: %g sec", sec + usec / 1000000.0);
108 sec = prof.it_interval.tv_sec - prof.it_value.tv_sec;
111 --sec;
114 LispMessage("Profile time: %g sec", sec + usec / 1000000.0);
133 LispMessage("GC: %ld times, %g sec",
Indexes created Fri Jul 03 00:25:33 UTC 2026