function::read_stopwatch_ms(3stap) on Linux

The text 8379e1764f05, as Debian 11 (Bullseye) shipped it.

Reads the time in milliseconds for a stopwatch

function::read_stopwatch_ms(3stap) on Linux now