blob: 7e16a71f78f043e323f0e52dc651cbe19ff9f0e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/***********************************************************************/
/* */
/* Caml Special Light */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1995 Institut National de Recherche en Informatique et */
/* Automatique. Distributed only by permission. */
/* */
/***********************************************************************/
/* $Id$ */
#include <mlvalues.h>
#include <alloc.h>
#include <memory.h>
#include "unix.h"
#include <sys/types.h>
#include <sys/times.h>
value unix_times() /* ML */
{
value res;
struct tms buffer;
int i;
Push_roots(t,4);
#ifndef HZ
#define HZ 60
#endif
times(&buffer);
t[0] = copy_double((double) buffer.tms_utime / HZ);
t[1] = copy_double((double) buffer.tms_stime / HZ);
t[2] = copy_double((double) buffer.tms_cutime / HZ);
t[3] = copy_double((double) buffer.tms_cstime / HZ);
res = alloc_tuple(4);
for (i = 0; i < 4; i++)
Field(res, i) = t[i];
Pop_roots();
return res;
}
|
