perfcounter tools: make rdclock an inline function