build: Better Build System

1 files changed, 40 insertions, 0 deletions

diff --git a/static/unix-v10/man2/profil.2 b/static/unix-v10/man2/profil.2
new file mode 100644
index 00000000..b19df5fa
--- /dev/null
+++ b/static/unix-v10/man2/profil.2
@@ -0,0 +1,40 @@
+.pa 1
+.he 'PROFIL (II)'3/7/73'PROFIL (II)'
+.ti 0
+NAME		profil -- execution time profile
+.s3
+.ti 0
+SYNOPSIS	profil = 44.		/ not in assembler
+.br
+sys	profil; buff; bufsiz; offset; scale
+.s3
+.ti 0
+DESCRIPTION	buff____
+points to an area of core whose length (in bytes) is given by
+bufsiz______.
+After this call, the user's program counter (pc)
+is examined each clock tick (60th second);
+offset______ is subtracted from it, and the result multiplied by
+scale_____.
+If the resulting number corresponds to a word
+inside buff____, that word is incremented.
+.s3
+The scale is interpreted as an unsigned,
+fixed-point fraction with binary point at the
+left: 177777(8) gives a 1-1 mapping of pc's to words
+in buff____; 77777(8) maps each pair of instruction words
+together.
+2(8) maps all instructions onto the beginning of
+buff____ (producing a non-interrupting core clock).
+.s3
+Profiling is turned off by giving a scale_____ of 0 or 1.
+It is rendered
+inffective by giving a bufsiz______ of 0.
+.s3
+.ti 0
+SEE ALSO	[profiling subroutines]
+.s3
+.ti 0
+BUGS		Profiling must be turned off before
+an exec____(II), since incrementation of
+the buffer is not automatically stopped.