[src/trunk]: src/sys/arch/arm/arm32 Don't sync idcache/tlb when _RUMPKERNEL i...

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

details:   https://anonhg.NetBSD.org/src/rev/ba4f71b3ce75
branches:  trunk
changeset: 789137:ba4f71b3ce75
user:      matt <matt%NetBSD.org@localhost>
date:      Thu Aug 08 06:49:09 2013 +0000

description:
Don't sync idcache/tlb when _RUMPKERNEL is defined.

diffstat:

 sys/arch/arm/arm32/kobj_machdep.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (29 lines):

diff -r 70a147001314 -r ba4f71b3ce75 sys/arch/arm/arm32/kobj_machdep.c
--- a/sys/arch/arm/arm32/kobj_machdep.c Thu Aug 08 06:23:01 2013 +0000
+++ b/sys/arch/arm/arm32/kobj_machdep.c Thu Aug 08 06:49:09 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: kobj_machdep.c,v 1.4 2013/08/07 18:36:19 matt Exp $    */
+/*     $NetBSD: kobj_machdep.c,v 1.5 2013/08/08 06:49:09 matt Exp $    */
 
 /*-
  * Copyright (c) 2008 The NetBSD Foundation, Inc.
@@ -52,7 +52,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: kobj_machdep.c,v 1.4 2013/08/07 18:36:19 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: kobj_machdep.c,v 1.5 2013/08/08 06:49:09 matt Exp $");
 
 #define        ELFSIZE         ARCH_ELFSIZE
 
@@ -177,8 +177,10 @@
 {
 
        if (load) {
+#ifndef _RUMPKERNEL
                cpu_idcache_wbinv_all();
                cpu_tlb_flushID();
+#endif
        }
 
        return 0;