Linux内核硬件定时器作为计数器

Question

我在sunxi A20平台上使用定时器（timer4）作为连接到tmr4的外部时钟的计数器，以计算外部事件。我正在写一个小驱动程序，所以我可以从用户空间读取它。 我的问题是：这种方式是否有“正确”的方式或API来访问硬件定时器？目前我只是访问原始寄存器，这是有效的，但我想知道是否有另一种更干净的方法来做到这一点。