Russell King cee9b8d6b8 ARM: socfpga: make sure socfpga_cpu1start_addr is properly flushed ... Make sure socfpga_cpu1start_addr is properly flushed from it's cache line so that secondary cpu's can see it. Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk> Tested-by: Steffen Trumtrar <s.trumtrar@pengutronix.de> Signed-off-by: Dinh Nguyen <dinguyen@opensource.altera.com>		2015-03-04 13:03:17 -06:00
..
Kconfig	ARM: select HAVE_SMP for V7 multi-platform	2014-02-19 16:43:27 -06:00
Makefile	ARM: socfpga: Enable SMP for socfpga	2012-10-26 14:59:39 +02:00
core.h	ARM: socfpga: Correct SCU virtual mapping in socfpga	2015-03-04 13:03:01 -06:00
headsmp.S	arm: socfpga: fix fetching cpu1start_addr for SMP	2014-10-21 14:04:14 -05:00
platsmp.c	socfpga: hotplug: put cpu1 in wfi	2014-11-20 17:00:32 +01:00
socfpga.c	ARM: socfpga: make sure socfpga_cpu1start_addr is properly flushed	2015-03-04 13:03:17 -06:00