1 /* Copyright (C) 2004, Christian Limpach */
3 #include <linux/init.h>
4 #include <linux/kernel.h>
5 #include <linux/threads.h>
7 unsigned int __initdata maxcpus = NR_CPUS;
11 * the frequency of the profiling timer can be changed
12 * by writing a multiplier value into /proc/profile.
14 int setup_profiling_timer(unsigned int multiplier)
16 printk("setup_profiling_timer\n");