arch/xen/kernel/smp.c

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