1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * (C) Copyright 2015
4  * Kamil Lulko, <kamil.lulko@gmail.com>
5  */
6 
7 #include <common.h>
8 #include <status_led.h>
9 #include <asm-generic/gpio.h>
10 
coloured_LED_init(void)11 void coloured_LED_init(void)
12 {
13 	gpio_request(CONFIG_RED_LED, "red led");
14 	gpio_direction_output(CONFIG_RED_LED, 0);
15 	gpio_request(CONFIG_GREEN_LED, "green led");
16 	gpio_direction_output(CONFIG_GREEN_LED, 0);
17 }
18 
red_led_off(void)19 void red_led_off(void)
20 {
21 	gpio_set_value(CONFIG_RED_LED, 0);
22 }
23 
green_led_off(void)24 void green_led_off(void)
25 {
26 	gpio_set_value(CONFIG_GREEN_LED, 0);
27 }
28 
red_led_on(void)29 void red_led_on(void)
30 {
31 	gpio_set_value(CONFIG_RED_LED, 1);
32 }
33 
green_led_on(void)34 void green_led_on(void)
35 {
36 	gpio_set_value(CONFIG_GREEN_LED, 1);
37 }
38