NAME    [Toc]    [Back]

     kernbb -- generate a dump of the kernels basic-block profile buffers

SYNOPSIS    [Toc]    [Back]

     kernbb

DESCRIPTION    [Toc]    [Back]

     The kernbb utility is used to extract the basic-block profiling buffers
     of the running kernel into the files needed for the gcov(1) tool.

     At least one source file in the running kernel must have been compiled
     with the --test-coverage and --profile-arcs options.

     The output is stored in the filenames compiled into the kernel by gcc(1).
     If the absolute pathname cannot be written to, the directory part of the
     filename is discarded and the file stored in the current directory under
     its basename.

     The output files are named *.da, and the gcov(1) program will extract the
     counts and merge them with the source file to show actual execution
     counts.

FILES    [Toc]    [Back]

     /boot/kernel/kernel  the default system
     /dev/kmem		  the default memory

SEE ALSO    [Toc]    [Back]

     cc(1), gcov(1)

AUTHORS    [Toc]    [Back]

     The kernbb utility was written by Poul-Henning Kamp, along with the kernel-support.

BUGS    [Toc]    [Back]

     There are far too much magic and internal knowledge from GCC in this.


FreeBSD 5.2.1			 May 22, 1995			 FreeBSD 5.2.1