void platform_private_release_pin(int pin);
platform_private_release_pin releases the pin pin by changing it back to its reset state, typically a digital input. The platform-independent code guarantees to call platform_private_release_pin with a correct pin parameter.