Wie muss ich dass dann aber mit ADC1 machen?
Glückwunsch zum RP6!

Für ADC1 müßtest du das alles mit "2" machen, also z.B. DDRA |= 2.

Allgemein haben die 8 Bits eines Bytes die Werte:
1, 2, 4, 8, 16, 32, 64, 128

Das Bit P3 irgendeines Ports hat also z.B. den Wert 8.
Willst du beide LEDs an ADC0 und ADC1 einschalten, geht das mit Addition der Werte (1+2=3), also: PORTA |= 3.

Gruß Dirk