function::cmdline_args(3stap) on Linux

The text cbb2decc1b55, as Debian 8 (Jessie) shipped it.

Fetch command line arguments from current process

function::cmdline_args(3stap) on Linux now