function::ns_tid(3stap) on Linux

The text 928b91e123b0, as Debian 10 (Buster) shipped it.

Returns the thread ID of a target process as seen in a pid namespace

function::ns_tid(3stap) on Linux now