diff options
author | Tony Luck <tony.luck@intel.com> | 2005-11-03 09:09:08 -0800 |
---|---|---|
committer | Tony Luck <tony.luck@intel.com> | 2005-11-03 09:09:08 -0800 |
commit | 55725495f2175d0be2a5ed4135c2ea298b470001 (patch) | |
tree | 6005d0c7a95d994bf7ec8e6410dbd5a573e86fdf /arch/arm/mm/init.c | |
parent | 067794a1170ef61e295aea1719cf4a1ce20200f8 (diff) | |
parent | 06024f217d607369f0ee0071034ebb03071d5fb2 (diff) |
Auto-update from upstream
Diffstat (limited to 'arch/arm/mm/init.c')
-rw-r--r-- | arch/arm/mm/init.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/arch/arm/mm/init.c b/arch/arm/mm/init.c index fd079ff1fc5..c168f322ef8 100644 --- a/arch/arm/mm/init.c +++ b/arch/arm/mm/init.c @@ -486,10 +486,17 @@ static void __init devicemaps_init(struct machine_desc *mdesc) /* * Ask the machine support to map in the statically mapped devices. - * After this point, we can start to touch devices again. */ if (mdesc->map_io) mdesc->map_io(); + + /* + * Finally flush the tlb again - this ensures that we're in a + * consistent state wrt the writebuffer if the writebuffer needs + * draining. After this point, we can start to touch devices + * again. + */ + local_flush_tlb_all(); } /* |