51676b14e8
This reverts commit 042c1461fb.
It turned out that sending IPIs via broadcast doesn't work on
Sandybridge. We tried to come up with a solution, but didn't
found any so far. So revert the code for now until we have
a working solution.
Change-Id: I7dd1cba5a4c1e4b0af366b20e8263b1f6f4b9714
Signed-off-by: Sven Schnelle <svens@stackframe.org>
Reviewed-on: http://review.coreboot.org/1381
Tested-by: build bot (Jenkins)
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
31 lines
782 B
C
31 lines
782 B
C
#ifndef CPU_CPU_H
|
|
#define CPU_CPU_H
|
|
|
|
#include <arch/cpu.h>
|
|
|
|
#if !defined(__ROMCC__)
|
|
void cpu_initialize(void);
|
|
struct bus;
|
|
void initialize_cpus(struct bus *cpu_bus);
|
|
void secondary_cpu_init(void);
|
|
|
|
#if !CONFIG_WAIT_BEFORE_CPUS_INIT
|
|
#define cpus_ready_for_init() do {} while(0)
|
|
#else
|
|
void cpus_ready_for_init(void);
|
|
#endif
|
|
|
|
#if CONFIG_HAVE_SMI_HANDLER
|
|
void smm_init(void);
|
|
void smm_lock(void);
|
|
void smm_setup_structures(void *gnvs, void *tcg, void *smi1);
|
|
#endif
|
|
|
|
#define __cpu_driver __attribute__ ((used,__section__(".rodata.cpu_driver")))
|
|
/** start of compile time generated pci driver array */
|
|
extern struct cpu_driver cpu_drivers[];
|
|
/** end of compile time generated pci driver array */
|
|
extern struct cpu_driver ecpu_drivers[];
|
|
#endif /* !__ROMCC__ */
|
|
|
|
#endif /* CPU_CPU_H */
|