[src/trunk]: src/sys/arch add missing arg to cpu_setttb().

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

details:   https://anonhg.NetBSD.org/src/rev/511d544e43f9
branches:  trunk
changeset: 782347:511d544e43f9
user:      chs <chs%NetBSD.org@localhost>
date:      Mon Oct 29 14:01:33 2012 +0000

description:
add missing arg to cpu_setttb().

diffstat:

 sys/arch/arm/at91/at91bus.c             |  6 +++---
 sys/arch/evbarm/evbarm/initarm_common.c |  6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diffs (54 lines):

diff -r 72483dbae95a -r 511d544e43f9 sys/arch/arm/at91/at91bus.c
--- a/sys/arch/arm/at91/at91bus.c       Mon Oct 29 13:46:26 2012 +0000
+++ b/sys/arch/arm/at91/at91bus.c       Mon Oct 29 14:01:33 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: at91bus.c,v 1.14 2012/09/01 14:48:06 matt Exp $        */
+/*     $NetBSD: at91bus.c,v 1.15 2012/10/29 14:01:33 chs Exp $ */
 
 /*
  * Copyright (c) 2007 Embedtronics Oy
@@ -27,7 +27,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: at91bus.c,v 1.14 2012/09/01 14:48:06 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: at91bus.c,v 1.15 2012/10/29 14:01:33 chs Exp $");
 
 #include "opt_ddb.h"
 #include "opt_kgdb.h"
@@ -448,7 +448,7 @@
        printf("switching to new L1 page table  @%#lx...", kernel_l1pt.pv_pa);
 #endif
        cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
-       cpu_setttb(kernel_l1pt.pv_pa);
+       cpu_setttb(kernel_l1pt.pv_pa, true);
        cpu_tlb_flushID();
        cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));
 
diff -r 72483dbae95a -r 511d544e43f9 sys/arch/evbarm/evbarm/initarm_common.c
--- a/sys/arch/evbarm/evbarm/initarm_common.c   Mon Oct 29 13:46:26 2012 +0000
+++ b/sys/arch/evbarm/evbarm/initarm_common.c   Mon Oct 29 14:01:33 2012 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: initarm_common.c,v 1.11 2012/07/29 00:07:07 matt Exp $ */
+/*     $NetBSD: initarm_common.c,v 1.12 2012/10/29 14:01:33 chs Exp $  */
 
 /*
  * Copyright 2003 Wasabi Systems, Inc.
@@ -69,7 +69,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: initarm_common.c,v 1.11 2012/07/29 00:07:07 matt Exp $");
+__KERNEL_RCSID(0, "$NetBSD: initarm_common.c,v 1.12 2012/10/29 14:01:33 chs Exp $");
 
 #include <sys/systm.h>
 #include <sys/param.h>
@@ -402,7 +402,7 @@
 
        /* Switch tables */
        cpu_domains((DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2)) | DOMAIN_CLIENT);
-       cpu_setttb(kernel_l1pt.pv_pa);
+       cpu_setttb(kernel_l1pt.pv_pa, true);
        cpu_tlb_flushID();
        cpu_domains(DOMAIN_CLIENT << (PMAP_DOMAIN_KERNEL*2));