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