char *platform_private_pin_connection_name(int pin);
platform_private_pin_connection_name returns the connection name for pin pin. The platform-independent code guarantees to call platform_private_pin_connection_name with a correct pin parameter.
The connection name returned is generally the name from the schematic or, in the case of buttons and LEDs, the name of the button or LED on the silkscreen.