4 #define LED_PINSEL PINSEL1
5 #define LED_PINSEL_VAL 0xffff3fff;
6 #define LED_IODIR IODIR0
7 #define LED_IOSET IOSET0
8 #define LED_IOCLR IOCLR0
9 #define LED_IOBIT 0x00800000
19 void led_set(uint8_t led
, uint8_t state
);
20 /* Switch LED state */
21 void led_toggle(uint8_t led
);