perf_counter: more elaborate write API
This page took 1.158645 seconds and 4 git commands to generate.