FreeBSD port (30): profiling frequency

[Bruno Haible]

Roland McGrath writes:
> > Thanks for the tip. But KERN_CLOCKRATE contains four numbers:
> > 100, 10000, 1024, 128. I really need the measuring program in order
> > to determine which one to use.
> 
> Those are:
> 
> 	int	hz;		/* clock frequency */
> 	int	tick;		/* micro-seconds per hz tick */
> 	int	tickadj;	/* clock skew rate for adjtime() */
> 	int	stathz;		/* statistics clock frequency */
> 	int	profhz;		/* profiling clock frequency */
> 
> so you just want the last one.

Nope, on i386 the value of profhz is 1024, and the show-prof-freq
program tells me that I need the value 100. Which is 'hz'.

I've put a corresponding comment in
sysdeps/unix/bsd/bsd4.4/freebsd/prof-freq.c.

Bruno