[src/trunk]: src/sys/arch/x86/x86 kernel page attribute change should be refl...

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

details:   https://anonhg.NetBSD.org/src/rev/282d6bbc93d0
branches:  trunk
changeset: 777588:282d6bbc93d0
user:      cherry <cherry%NetBSD.org@localhost>
date:      Fri Feb 24 08:44:44 2012 +0000

description:
kernel page attribute change should be reflected on all cpus, since
the page is going to be released after the _dtor() hook is called.

diffstat:

 sys/arch/x86/x86/pmap.c |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r b75ac1209f18 -r 282d6bbc93d0 sys/arch/x86/x86/pmap.c
--- a/sys/arch/x86/x86/pmap.c   Fri Feb 24 08:17:20 2012 +0000
+++ b/sys/arch/x86/x86/pmap.c   Fri Feb 24 08:44:44 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: pmap.c,v 1.172 2012/02/24 08:17:20 cherry Exp $        */
+/*     $NetBSD: pmap.c,v 1.173 2012/02/24 08:44:44 cherry Exp $        */
 
 /*-
  * Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
@@ -171,7 +171,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.172 2012/02/24 08:17:20 cherry Exp $");
+__KERNEL_RCSID(0, "$NetBSD: pmap.c,v 1.173 2012/02/24 08:44:44 cherry Exp $");
 
 #include "opt_user_ldt.h"
 #include "opt_lockdebug.h"
@@ -2172,7 +2172,7 @@
                /* Set page RW again */
                pte = kvtopte(object);
                xpq_queue_pte_update(xpmap_ptetomach(pte), *pte | PG_RW);
-               xpq_queue_invlpg((vaddr_t)object);
+               xen_bcast_invlpg((vaddr_t)object);
        }
        splx(s);
 #endif  /* XEN */