I'm developing for a CYPD4225-40LQXI. The datasheet says that 30 pins are available for GPIO. It isn't clear exactly which pins these are. I'm currently assuming all are except for the 5 power pins, the XRES pin and the 4 CC pins. Is this incorrect? There are a number of pins that are not listed as GPIO, such as VBUS_P_CTRL_P, which seem to be used as GPIO in the firmware.
Also, can all GPIO pins be used as an input to the ADC?