kernbb -- generate a dump of the kernels basic-block profile buffers
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
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
/boot/kernel/kernel the default system
/dev/kmem the default memory
The kernbb utility was written by Poul-Henning Kamp, along with the kernel-support.
There are far too much magic and internal knowledge from GCC in this.
FreeBSD 5.2.1 May 22, 1995 FreeBSD 5.2.1 [ Back ]