diff options
| author |   Mark Rutland <mark.rutland@arm.com> | 2013-07-09 15:16:06 +0100 |
|---|---|---|
| committer |   Catalin Marinas <catalin.marinas@arm.com> | 2013-07-23 11:00:24 +0100 |
| commit | 82b2f495fba338d1e3098dde1df54944a9c19751 (patch) | |
| tree | 866012a9d6b7bb010d8ea6fcde80da1954549f52 /scripts | |
| parent | Linux 3.11-rc2 (diff) | |
| download | linux-dev-82b2f495fba338d1e3098dde1df54944a9c19751.tar.xz linux-dev-82b2f495fba338d1e3098dde1df54944a9c19751.zip | |
arm64: virt: ensure visibility of __boot_cpu_mode
Secondary CPUs write to __boot_cpu_mode with caches disabled, and thus a
cached value of __boot_cpu_mode may be incoherent with that in memory.
This could lead to a failure to detect mismatched boot modes.
This patch adds flushing to ensure that writes by secondaries to
__boot_cpu_mode are made visible before we test against it.
Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Cc: Marc Zyngier <marc.zyngier@arm.com>
Cc: Christoffer Dall <cdall@cs.columbia.edu>
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions