ARM: socfpga: make sure socfpga_cpu1start_addr is properly flushed
authorRussell King <rmk+kernel@arm.linux.org.uk>
Wed, 25 Feb 2015 16:24:25 +0000 (10:24 -0600)
committerDinh Nguyen <dinguyen@opensource.altera.com>
Wed, 4 Mar 2015 19:03:17 +0000 (13:03 -0600)
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>

No differences found