function::read_stopwatch_us(3stap) on Linux

The text fdfe6593fad0, as Debian 9 (Stretch) shipped it.

Reads the time in microseconds for a stopwatch

function::read_stopwatch_us(3stap) on Linux now