[src/trunk]: src/sys/arch/evbarm/conf Add __HAVE_CPU_COUNTER

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

details:   https://anonhg.NetBSD.org/src/rev/61716e2f0912
branches:  trunk
changeset: 783410:61716e2f0912
user:      skrll <skrll%NetBSD.org@localhost>
date:      Wed Dec 19 15:51:51 2012 +0000

description:
Add __HAVE_CPU_COUNTER

diffstat:

 sys/arch/evbarm/conf/std.rpi |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r cdeb4f5b9f9d -r 61716e2f0912 sys/arch/evbarm/conf/std.rpi
--- a/sys/arch/evbarm/conf/std.rpi      Wed Dec 19 15:49:47 2012 +0000
+++ b/sys/arch/evbarm/conf/std.rpi      Wed Dec 19 15:51:51 2012 +0000
@@ -1,4 +1,4 @@
-#      $NetBSD: std.rpi,v 1.3 2012/12/16 23:47:56 matt Exp $
+#      $NetBSD: std.rpi,v 1.4 2012/12/19 15:51:51 skrll Exp $
 #
 # standard NetBSD/evbarm for Raspberry Pi options
 
@@ -8,6 +8,7 @@
 # Pull in Raspberry Pi config definitions.
 include                "arch/evbarm/conf/files.rpi"
 
+options        __HAVE_CPU_COUNTER
 options        __HAVE_FAST_SOFTINTS            # should be in types.h
 options        __HAVE_CPU_UAREA_ALLOC_IDLELWP
 options        TPIDRPRW_IS_CURCPU