Passo Valsecca, Diavolino, Pizzo del Diavolo, Pizzo Redorta