write_counter     201 arch/riscv/kernel/perf_event.c static inline void write_counter(int idx, u64 value)
write_counter      56 drivers/char/hpet.c #define	write_counter(V, MC)	writeq(V, MC)
write_counter      59 drivers/char/hpet.c #define	write_counter(V, MC)	writel(V, MC)