[src/trunk]: src/sys/arch/arm/arm32 Before setting the new TTB wbinv the caches.

[matt <matt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/65e488f7998d
branches:  trunk
changeset: 781433:65e488f7998d
user:      matt <matt%NetBSD.org@localhost>
date:      Thu Sep 06 02:03:01 2012 +0000

description:
Before setting the new TTB wbinv the caches.

diffstat:

 sys/arch/arm/arm32/arm32_kvminit.c |  7 ++++---
 1 files changed, 4 insertions(+), 3 deletions(-)

diffs (31 lines):

diff -r e69d43bf9c4b -r 65e488f7998d sys/arch/arm/arm32/arm32_kvminit.c
--- a/sys/arch/arm/arm32/arm32_kvminit.c        Thu Sep 06 02:02:03 2012 +0000
+++ b/sys/arch/arm/arm32/arm32_kvminit.c        Thu Sep 06 02:03:01 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: arm32_kvminit.c,v 1.2 2012/09/05 00:20:57 matt Exp $   */
+/*     $NetBSD: arm32_kvminit.c,v 1.3 2012/09/06 02:03:01 matt Exp $   */
 
 /*
  * Copyright (c) 2002, 2003, 2005  Genetec Corporation.  All rights reserved.
@@ -122,7 +122,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: arm32_kvminit.c,v 1.2 2012/09/05 00:20:57 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: arm32_kvminit.c,v 1.3 2012/09/06 02:03:01 matt Exp $");
 
 #include <sys/param.h>
 #include <sys/device.h>
@@ -861,10 +861,11 @@
 
        /* Switch tables */
 #ifdef VERBOSE_INIT_ARM
-       printf("switching to new L1 page table  @%#lx...", l1pt_pa);
+       printf("switching to new L1 page table @%#lx...", l1pt_pa);
 #endif
 
        cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
+       cpu_idcache_wbinv_all();
        cpu_setttb(l1pt_pa);
        cpu_tlb_flushID();
        cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));