Con respecto al software Si lo hiciste funcionar con el arduino y tenes la libreria podrias portar la libreria, ambos se manejan en C asi que deberias realizar pocos cambios.
Con respecto al HW, parece que es una salida de un regulador de 3V. Imagino que el equivalente de de ARef es el Vref+ del dsPIC, asi el rango del ADC se encuentra entre GND (AVss) y Vref+.
De todas formas deberias poder obtener alguna lectura por mas que no este esa entrada. ya que si pones al ADC entre AVss y AVdd deberias seguir teniendo lecturas aunque no las correctas.