Is any high resolution timer available on a Raspberry Pi that can be used by an application (for micro-benchmarking, etc.) without having to write a kernel driver?
The resolution I'm looking for is sub-millisecond or microseconds, but microseconds or nanoseconds are preferred. For timing compiled C vs. ARM assembly language code. Added jitter to ameliorate Spectre is OK.