diff options
| author | Andrew Morton <akpm@digeo.com> | 2002-11-25 17:56:43 -0800 |
|---|---|---|
| committer | Linus Torvalds <torvalds@home.transmeta.com> | 2002-11-25 17:56:43 -0800 |
| commit | 832eb7cf7140fc2037cf248ee050453b55892e46 (patch) | |
| tree | a61a472b63cbb1d18c347ceed20453300a19f158 /include/linux | |
| parent | 3b99bbbf56153b9146745ff96dafeef9a94d94ef (diff) | |
[PATCH] Allow for profile_buf size = kernel text size
Patch from Ravikiran G Thirumalai <kiran@in.ibm.com>
Allows the kernel profiler to use a shift value of zero for
high-resolution profiling.
So instead of overloading a shift of zero to mean "not profiling", use
a separate flag for that.
This means that anyone who is currently using "profile=0" to disable
profiling has accidentally turned profiling on, so I added a printk.
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/profile.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/linux/profile.h b/include/linux/profile.h index 11fbe9cec572..7ee46d4bb3cc 100644 --- a/include/linux/profile.h +++ b/include/linux/profile.h @@ -17,6 +17,7 @@ void __init profile_init(void); extern unsigned int * prof_buffer; extern unsigned long prof_len; extern unsigned long prof_shift; +extern int prof_on; enum profile_type { |