The reality is that the pedal code assigns ADC_CHER=0x1CC0 which enables ADC channels 7, 6, 10, 11, & 12 ( not 0,1,8,9 and 10). However those ADC channels do correspond to Arduino pin pad numbers 0,1,8,9 and 10.
Yes, as I mentioned before the way the Atmel datasheet labels the ADCs is different from the Arduino labels. It is confusing yes, if you name them one way or the other, somebody is going to be confused.
So if I wanted to use just ADC channel 0, I would assign ADC_CHER=0x0001
and connect my input to Arduino Dup pin pad number A7, yes?
Yes, you are right.