function::ns_pid(3stap) on Linux

The text 508e33603c46, as Debian 10 (Buster) shipped it.

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

function::ns_pid(3stap) on Linux now