char *platform_pin_connection_name(int pin);
platform_pin_connection_name returns the connection name for pin pin. The connection name returned is generally the name of the port and associated pin from the microprocessor's user manual. For instance, it could be P1[14] or PB5.
The string may be overwritten by a subsequent call to platform_pin_connection_name.
Special connection names, such as PLATFORM_NO_CONNECTION, are handled by platform_pin_connection_name and any platform-specific connections are passed to platform_private_pin_connection_name to handle.