void platform_write_analog_pin(int pin, float value);
platform_write_analog_pin writes the state of a pin that's configured to be an analog output. An analog output can be realized either by a digital-to-analog converter (DAC) or by pulse-width modulation (PWM).
The parameter value indicates the desired output level, 0 through 1.
This function is fast and does no error checking whatsoever: it is the client's responsibility to use this function correctly.