Searched refs:RED_LED_FILE (Results 1 – 2 of 2) sorted by relevance
43 char const*const RED_LED_FILE variable182 write_int(RED_LED_FILE, red); in set_speaker_light_locked()
51 char const*const RED_LED_FILE variable232 write_int(RED_LED_FILE, red); in set_speaker_light_locked()