2 * smp.h: PPC64 specific SMP code.
4 * Original was a copy of sparc smp.h. Now heavily modified
7 * Copyright (C) 1996 David S. Miller (davem@caip.rutgers.edu)
8 * Copyright (C) 1996-2001 Cort Dougan <cort@fsmlabs.com>
10 * This program is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU General Public License
12 * as published by the Free Software Foundation; either version
13 * 2 of the License, or (at your option) any later version.
20 #include <linux/config.h>
21 #include <linux/threads.h>
22 #include <linux/cpumask.h>
23 #include <linux/kernel.h>
29 extern int boot_cpuid;
33 extern void smp_send_debugger_break(int cpu);
35 extern void smp_message_recv(int, struct pt_regs *);
38 #define smp_processor_id() (get_paca()->paca_index)
39 #define hard_smp_processor_id() (get_paca()->hw_cpu_id)
41 extern cpumask_t cpu_sibling_map[NR_CPUS];
43 /* Since OpenPIC has only 4 IPIs, we use slightly different message numbers.
45 * Make sure this matches openpic_request_IPIs in open_pic.c, or what shows up
46 * in /proc/interrupts will be wrong!!! --Troy */
47 #define PPC_MSG_CALL_FUNCTION 0
48 #define PPC_MSG_RESCHEDULE 1
49 /* This is unused now */
51 #define PPC_MSG_MIGRATE_TASK 2
53 #define PPC_MSG_DEBUGGER_BREAK 3
55 extern cpumask_t irq_affinity[];
57 void smp_init_iSeries(void);
58 void smp_init_pSeries(void);
60 extern int __cpu_disable(void);
61 extern void __cpu_die(unsigned int cpu);
62 extern void cpu_die(void) __attribute__((noreturn));
63 extern int query_cpu_stopped(unsigned int pcpu);
64 #endif /* !(CONFIG_SMP) */
66 #define get_hard_smp_processor_id(CPU) (paca[(CPU)].hw_cpu_id)
67 #define set_hard_smp_processor_id(CPU, VAL) \
68 do { (paca[(CPU)].hw_cpu_id = (VAL)); } while (0)
70 extern int smt_enabled_at_boot;
72 #endif /* __ASSEMBLY__ */
74 #endif /* !(_PPC64_SMP_H) */
75 #endif /* __KERNEL__ */