diff options
| author | Soby Mathew <soby.mathew@arm.com> | 2017-02-14 10:11:52 +0000 |
|---|---|---|
| committer | Soby Mathew <soby.mathew@arm.com> | 2017-03-01 14:38:28 +0000 |
| commit | 311b1773641674e4b498dbf577635d0c4c63ab48 (patch) | |
| tree | 3a339cbad889cb9438992511a15ef8c4dd6d6158 /bl32 | |
| parent | d6845d3dc3030335e9c13cf37f9ba1333a776629 (diff) | |
Flush the GIC driver data after init
The GIC driver data is initialized by the primary CPU with caches
enabled. When the secondary CPU boots up, it initializes the
GICC/GICR interface with the caches disabled and there is a chance that
the driver data is not yet written back to the memory. This patch fixes
this problem by flushing the driver data after they have been
initialized.
Change-Id: Ie9477029683846209593ff005d2bac559bb8f5e6
Signed-off-by: Soby Mathew <soby.mathew@arm.com>
Diffstat (limited to 'bl32')
0 files changed, 0 insertions, 0 deletions