PAPI_get_real_usec(3) on Linux

The text ef2f0c914134, as Debian 13 (Trixie) shipped it. The page shows this text now.

get real time counter value in microseconds

PAPI_get_real_usec(3) on Linux now