function::u64_arg(3stap) on Linux

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

Return function argument as unsigned 64-bit value

function::u64_arg(3stap) on Linux now