From c6b23693e3cc58b35c116efdfcbf24a579f49c3c Mon Sep 17 00:00:00 2001 From: Russell King Date: Wed, 2 Nov 2005 14:11:35 +0000 Subject: [PATCH] --- yaml --- r: 12170 b: refs/heads/master c: 6bf7bd6967b1cdde1fe953b0edb951966799fb44 h: refs/heads/master v: v3 --- [refs] | 2 +- trunk/arch/arm/mm/init.c | 9 ++++++++- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/[refs] b/[refs] index e49a0e068877..27950f172726 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: bfca94590bfd3dcd958c542d2fb6406518150fee +refs/heads/master: 6bf7bd6967b1cdde1fe953b0edb951966799fb44 diff --git a/trunk/arch/arm/mm/init.c b/trunk/arch/arm/mm/init.c index fd079ff1fc53..c168f322ef8c 100644 --- a/trunk/arch/arm/mm/init.c +++ b/trunk/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(); } /*