Lines Matching refs:kernel

1 Using gcov with the Linux kernel
18 gcov profiling kernel support enables the use of GCC's coverage testing
19 tool gcov [1] with the Linux kernel. Coverage data of a running kernel
21 To get coverage data for a specific file, change to the kernel build
25 # gcov -o /sys/kernel/debug/gcov/tmp/linux-out/kernel spinlock.c
30 for the entire kernel and provide coverage overviews in HTML format.
36 * minimizing kernel configurations (do I need this option if the
48 Configure the kernel with:
57 and to get coverage data for the entire kernel:
68         mount -t debugfs none /sys/kernel/debug
75 similar to the following to the respective kernel Makefile:
90 Only files which are linked to the main kernel image or are compiled as
91 kernel modules are supported by this mechanism.
97 The gcov kernel support creates the following files in debugfs:
99         /sys/kernel/debug/gcov
102         /sys/kernel/debug/gcov/reset
106         /sys/kernel/debug/gcov/path/to/compile/dir/file.gcda
110         /sys/kernel/debug/gcov/path/to/compile/dir/file.gcno
126 This behavior can be deactivated by specifying the gcov_persist kernel
138 The gcov kernel profiling infrastructure is designed to work out-of-the
140 cases where the kernel runs on a separate machine, special preparations
146 gcc version used for kernel build. Also the following files need to be
176   /tmp/linux:    kernel source tree
177   /tmp/out:      kernel build directory as specified by make O=
189           linked to the main kernel or which are linked by a custom
241 GCDA=/sys/kernel/debug/gcov