00001
00040 #ifndef BOARD_LED_H_INCLUDED
00041 #define BOARD_LED_H_INCLUDED
00042
00043 #include <gpio.h>
00044 #include <compiler.h>
00045
00046 enum board_led_id {
00047 BOARD_LED0_ID = CREATE_GPIO_PIN(PORTE, 0),
00048 BOARD_LED1_ID = CREATE_GPIO_PIN(PORTE, 1),
00049 BOARD_LED2_ID = CREATE_GPIO_PIN(PORTE, 2),
00050 BOARD_LED3_ID = CREATE_GPIO_PIN(PORTE, 3),
00051 BOARD_LED4_ID = CREATE_GPIO_PIN(PORTE, 4),
00052 BOARD_LED5_ID = CREATE_GPIO_PIN(PORTE, 5),
00053 BOARD_LED6_ID = CREATE_GPIO_PIN(PORTE, 6),
00054 BOARD_LED7_ID = CREATE_GPIO_PIN(PORTE, 7),
00055 };
00056
00057 __always_inline static void led_activate(enum board_led_id id)
00058 {
00059 gpio_set_value(id, false);
00060 }
00061
00062 __always_inline static void led_deactivate(enum board_led_id id)
00063 {
00064 gpio_set_value(id, true);
00065 }
00066
00067 __always_inline static void led_toggle(enum board_led_id id)
00068 {
00069 gpio_toggle_value(id);
00070 }
00071 #endif