/* $NetBSD: cpu_counter.h,v 1.3 2014/03/31 11:25:49 martin Exp $ */ #include