int platform_private_read_button(int index);
platform_private_read_button writes state directly to the GPIO-controlled LED index.
If all platform LEDs are controlled using GPIOs that are accessible using platform_write_digital_pin, a platform implementation of platform_write_led can call platform_private_write_led directly.