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