2 * (C) Copyright 2007-2008
3 * Stelian Pop <stelian@popies.net>
4 * Lead Tech Design <www.leadtechdesign.com>
6 * SPDX-License-Identifier: GPL-2.0+
11 #include <asm/arch/at91_pmc.h>
12 #include <asm/arch/at91_pio.h>
13 #include <asm/arch/gpio.h>
18 at91_set_gpio_value(CONFIG_RED_LED, 1);
21 void red_led_off(void)
23 at91_set_gpio_value(CONFIG_RED_LED, 0);
27 #ifdef CONFIG_GREEN_LED
28 void green_led_on(void)
30 at91_set_gpio_value(CONFIG_GREEN_LED, 0);
33 void green_led_off(void)
35 at91_set_gpio_value(CONFIG_GREEN_LED, 1);
39 #ifdef CONFIG_YELLOW_LED
40 void yellow_led_on(void)
42 at91_set_gpio_value(CONFIG_YELLOW_LED, 0);
45 void yellow_led_off(void)
47 at91_set_gpio_value(CONFIG_YELLOW_LED, 1);