function::ns_pid(3stap) on Linux

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

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

function::ns_pid(3stap) on Linux now