LED                24 platform/ixus80_sd1100/leds.c #define blink_(LED) void blink_##LED() { \
LED                25 platform/ixus80_sd1100/leds.c 	blink_it((long*)LED); \
LED                27 platform/ixus80_sd1100/leds.c void __attribute__((noinline)) LED##_ON() { \
LED                28 platform/ixus80_sd1100/leds.c 	*(long *)LED = 0x46; \
LED                30 platform/ixus80_sd1100/leds.c void __attribute__((noinline)) LED##_OFF() { \
LED                31 platform/ixus80_sd1100/leds.c 	*(long *)LED = 0x44; \
LED                39 platform/ixus80_sd1100/leds.h #define blink_(LED) \
LED                40 platform/ixus80_sd1100/leds.h void __attribute__((noinline)) blink_##LED(); \
LED                41 platform/ixus80_sd1100/leds.h void __attribute__((noinline)) LED##_ON(); \
LED                42 platform/ixus80_sd1100/leds.h void __attribute__((noinline)) LED##_OFF();