Wenns noch nicht funktioniert probier mal ADCW. ADC in Zeile 55 von iom32.h und ADCW in Zeile 57 scheinen mir die gleichen "Adressen" zu haben.
Gruß Muraad