function::u64_arg(3stap) on Linux

The text 568fb1677722, as Debian 12 (Bookworm) shipped it.

Return function argument as unsigned 64-bit value

function::u64_arg(3stap) on Linux now