Files: /kernel/driver-api/generic-counter.html