1 /*
2  * (C) Copyright 2007-2008
3  * Stelian Pop <stelian@popies.net>
4  * Lead Tech Design <www.leadtechdesign.com>
5  *
6  * SPDX-License-Identifier:	GPL-2.0+
7  */
8 
9 #include <common.h>
10 #include <asm/gpio.h>
11 #include <asm/arch/gpio.h>
12 #include <status_led.h>
13 
14 #ifdef CONFIG_RED_LED
15 void red_led_on(void)
16 {
17 	gpio_set_value(CONFIG_RED_LED, 1);
18 }
19 
20 void red_led_off(void)
21 {
22 	gpio_set_value(CONFIG_RED_LED, 0);
23 }
24 #endif
25 
26 #ifdef CONFIG_GREEN_LED
27 void green_led_on(void)
28 {
29 	gpio_set_value(CONFIG_GREEN_LED, 0);
30 }
31 
32 void green_led_off(void)
33 {
34 	gpio_set_value(CONFIG_GREEN_LED, 1);
35 }
36 #endif
37 
38 #ifdef CONFIG_YELLOW_LED
39 void yellow_led_on(void)
40 {
41 	gpio_set_value(CONFIG_YELLOW_LED, 0);
42 }
43 
44 void yellow_led_off(void)
45 {
46 	gpio_set_value(CONFIG_YELLOW_LED, 1);
47 }
48 #endif
49