0e0ba76926
In some situations, the pen_release store in platform_secondary_init() may stay forever in the write buffer while the CPU is waiting on the boot_lock to be released in boot_secondary(). The primary CPU could never see the pen_release update without the barriers. Signed-off-by: Catalin Marinas <catalin.marinas@arm.com> Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk> |
||
|---|---|---|
| .. | ||
| Kconfig | ||
| Makefile | ||
| Makefile.boot | ||
| clock.c | ||
| clock.h | ||
| core.c | ||
| core.h | ||
| headsmp.S | ||
| hotplug.c | ||
| localtimer.c | ||
| platsmp.c | ||
| realview_eb.c | ||