function::u32_arg(3stap) on Linux

The text 9b23dfe90e5e, as Debian 12 (Bookworm) shipped it.

Return function argument as unsigned 32-bit value

function::u32_arg(3stap) on Linux now