PIC32MX350: einige GPIOs funktionieren nicht

Hi,

ich versuche hier bei einem PIC32MX350 verschiedene GPIOs zu benutzen, 
spannenderweise funktioniert einer (Ausgang RC14) problemlos, zwei 
andere (Ausgang RC15 und Eingang RC12 aber nicht). Hardwaremäßig sind 
die Verbindungen korrekt vorhanden, die Initialisierung (vom MCC 
generierter Code) sieht so aus:

1

LATC = 0x0000;

2

TRISC = 0x3000;

3

CNPDC = 0x0000;

4

ODCC = 0x0000;

Das setzen des nicht funktionierenden GPIOs...

1

LATCbits.LATC15 = 1

...sieht nicht anders aus als bei dem Pin, der funktioniert:

1

LATCbits.LATC14 = 1

So weit also alles gut und es sollte meiner Meinung nach funktionieren.

Hat jemand eine Idee, was da noch schief gehen könnte?

Danke!