From adc93f6097615f16d57e8a24a256302f2144ec4e Mon Sep 17 00:00:00 2001 From: rsc Date: Fri, 14 Jan 2005 17:37:50 +0000 Subject: cut out the html - they're going to cause diffing problems. --- man/man3/cputime.html | 65 --------------------------------------------------- 1 file changed, 65 deletions(-) delete mode 100644 man/man3/cputime.html (limited to 'man/man3/cputime.html') diff --git a/man/man3/cputime.html b/man/man3/cputime.html deleted file mode 100644 index fafc7f57..00000000 --- a/man/man3/cputime.html +++ /dev/null @@ -1,65 +0,0 @@ - -cputime(3) - Plan 9 from User Space - - - - -
-
-
CPUTIME(3)CPUTIME(3) -
-
-

NAME
- -
- - cputime, times – cpu time in this process and children
- -
-

SYNOPSIS
- -
- - #include <u.h>
- #include <libc.h> -
-
- int      times(long t[4]) -
-
- double cputime(void)
-
-
-

DESCRIPTION
- -
- - If t is non-null, times fills it in with the number of milliseconds - spent in user code, system calls, child processes in user code, - and child processes in system calls. Cputime returns the sum of - those same times, converted to seconds. Times returns the elapsed - real time, in milliseconds, that the process has been - running.
- -
-

SOURCE
- -
- - /usr/local/plan9/src/lib9/time.c
-
-
- -

-
-
- - -
-
-
-Space Glenda -
-
- - -- cgit v1.2.3