2 * Machine specific setup for generic
5 #include <linux/config.h>
7 #include <linux/init.h>
8 #include <linux/interrupt.h>
10 #include <asm/arch_hooks.h>
12 #ifdef CONFIG_HOTPLUG_CPU
13 #define DEFAULT_SEND_IPI (1)
15 #define DEFAULT_SEND_IPI (0)
18 int no_broadcast=DEFAULT_SEND_IPI;
20 static __init int no_ipi_broadcast(char *str)
22 get_option(&str, &no_broadcast);
23 printk ("Using %s mode\n", no_broadcast ? "No IPI Broadcast" :
28 __setup("no_ipi_broadcast", no_ipi_broadcast);
30 static int __init print_ipi_mode(void)
32 printk ("Using IPI %s mode\n", no_broadcast ? "No-Shortcut" :
37 late_initcall(print_ipi_mode);
40 * pre_setup_arch_hook - hook called prior to any setup_arch() execution
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.
47 void __init pre_setup_arch_hook(void)