function::u32_arg(3stap) on Linux

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

Return function argument as unsigned 32-bit value

function::u32_arg(3stap) on Linux now