Man pages matching name function::set_u64_arg in section 3stap:

function::set_u64_arg.3stap.en	debian 11 / systemtap-doc
function::set_u64_arg.3stap.en	debian 12 / systemtap-doc