function::ns_pid(3stap) on Linux

The text 6332eb598fad, as Debian 11 (Bullseye) shipped it.

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

function::ns_pid(3stap) on Linux now