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
..
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
Kconfig
Makefile
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