function::read_stopwatch_ms(3stap) on Linux

The text 51ed03a8ee67, as Debian 12 (Bookworm) shipped it.

Reads the time in milliseconds for a stopwatch

function::read_stopwatch_ms(3stap) on Linux now