einen relativ hochohmigen spannungsteiler an einen der ADC Pins, intern auf 2.56V referenz schalten und dann messen

den spannungsteiler müsste man jetzt nurnoch berechnne, sodass bei voller spannung auch 2.5V am ADC eingang anliegen, dann musst dir nurnoch deine grenzwertspanung ermitteln, also wie hoch dein ADC wert bei 9.3V ist