PicoC type for ADC: Fix incorrect parameter and return type.