unsigned char *platform_pin_catalog(void);
platform_pin_catalog returns an array of pins that the Platform Library exposes to the client. The end of the array is indicated by and entry of PLATFORM_END_OF_LIST.
This may well not be the entire range of pins supported by the microprocessor, and is typically only populated with pins that should be modified by a client.