NetBSD/sys/arch/emips/include/cpu_counter.h