i have been trying in vain to get the voltage regulator Temperature Sensor mapped to an ADC channel. the thing is i can't find which channel it gets mapped to. The datasheet and AN3624 seem to imply that it is mapped to ATD channel 17. But i have no way of accessing this.
Am I missing something completely obvious?