diff options
Diffstat (limited to 'man5/proc_profile.5')
-rw-r--r-- | man5/proc_profile.5 | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/man5/proc_profile.5 b/man5/proc_profile.5 deleted file mode 100644 index bd206b4..0000000 --- a/man5/proc_profile.5 +++ /dev/null @@ -1,24 +0,0 @@ -.\" Copyright (C) 1994, 1995, Daniel Quinlan <quinlan@yggdrasil.com> -.\" Copyright (C) 2002-2008, 2017, Michael Kerrisk <mtk.manpages@gmail.com> -.\" Copyright (C) 2023, Alejandro Colomar <alx@kernel.org> -.\" -.\" SPDX-License-Identifier: GPL-3.0-or-later -.\" -.TH proc_profile 5 2023-08-15 "Linux man-pages 6.7" -.SH NAME -/proc/profile \- kernel profiling -.SH DESCRIPTION -.TP -.IR /proc/profile " (since Linux 2.4)" -This file is present only if the kernel was booted with the -.I profile=1 -command-line option. -It exposes kernel profiling information in a binary format for use by -.BR readprofile (1). -Writing (e.g., an empty string) to this file resets the profiling counters; -on some architectures, -writing a binary integer "profiling multiplier" of size -.I sizeof(int) -sets the profiling interrupt frequency. -.SH SEE ALSO -.BR proc (5) |