[src/trunk]: src/sys/arch/arm/arm32 When setting pmap_needs_pte_sync to 1 be ...

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

details:   https://anonhg.NetBSD.org/src/rev/2830ec64b257
branches:  trunk
changeset: 782118:2830ec64b257
user:      matt <matt%NetBSD.org@localhost>
date:      Wed Oct 17 16:16:23 2012 +0000

description:
When setting pmap_needs_pte_sync to 1 be sure to sync pte that caused
the issue.

diffstat:

 sys/arch/arm/arm32/pmap.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r fc67c7499afc -r 2830ec64b257 sys/arch/arm/arm32/pmap.c
--- a/sys/arch/arm/arm32/pmap.c Wed Oct 17 16:13:01 2012 +0000
+++ b/sys/arch/arm/arm32/pmap.c Wed Oct 17 16:16:23 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.238 2012/09/26 18:18:08 matt Exp $  */
+/*     $NetBSD: pmap.c,v 1.239 2012/10/17 16:16:23 matt Exp $  */
 
 /*
  * Copyright 2003 Wasabi Systems, Inc.
@@ -212,7 +212,7 @@
 #include <arm/cpuconf.h>
 #include <arm/arm32/katelib.h>
 
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.238 2012/09/26 18:18:08 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.239 2012/10/17 16:16:23 matt Exp $");
 
 #ifdef PMAP_DEBUG
 
@@ -4009,6 +4009,7 @@
         */
        if (rv == 0 && pm->pm_l1->l1_domain_use_count == 1
            && pmap_needs_pte_sync == 0) {
+               PTE_SYNC(ptep);
                pmap_needs_pte_sync = 1;
                rv = 1;
        }