arch/i386/mach-xen/setup.c

   1 /*
   2  *      Machine specific setup for generic
   3  */
   4
   5 #include <linux/config.h>
   6 #include <linux/smp.h>
   7 #include <linux/init.h>
   8 #include <linux/interrupt.h>
   9 #include <asm/acpi.h>
  10 #include <asm/arch_hooks.h>
  11
  12 #ifdef CONFIG_HOTPLUG_CPU
  13 #define DEFAULT_SEND_IPI        (1)
  14 #else
  15 #define DEFAULT_SEND_IPI        (0)
  16 #endif
  17
  18 int no_broadcast=DEFAULT_SEND_IPI;
  19
  20 static __init int no_ipi_broadcast(char *str)
  21 {
  22         get_option(&str, &no_broadcast);
  23         printk ("Using %s mode\n", no_broadcast ? "No IPI Broadcast" :
  24                                                                                         "IPI Broadcast");
  25         return 1;
  26 }
  27
  28 __setup("no_ipi_broadcast", no_ipi_broadcast);
  29
  30 static int __init print_ipi_mode(void)
  31 {
  32         printk ("Using IPI %s mode\n", no_broadcast ? "No-Shortcut" :
  33                                                                                         "Shortcut");
  34         return 0;
  35 }
  36
  37 late_initcall(print_ipi_mode);
  38
  39 /**
  40  * pre_setup_arch_hook - hook called prior to any setup_arch() execution
  41  *
  42  * Description:
  43  *      generally used to activate any machine specific identification
  44  *      routines that may be needed before setup_arch() runs.  On VISWS
  45  *      this is used to get the board revision and type.
  46  **/
  47 void __init pre_setup_arch_hook(void)
  48 {
  49 }