Petrolino \p(e)-troli-no, pet-ro-lino\ as a boy's name is a variant of Pedro (Spanish, Portuguese). See for meaning of Petrolino.
