void platform_set_digital_pin_direction(int pin, int direction);
platform_set_digital_pin_direction sets the pin direction for pin pin to direction for a pin configured as a digital I/O.
This function is fast and does no error checking whatsoever: it is the client's responsibility to use this function correctly.
Changing pin direction may well change the drive strength, pin speed, and pull-up configuration of the pin to the defaults for that pin.