RED_LED           320 arch/arm/mach-integrator/hardware.h #define RED_LED                         0x04
RED_LED            59 drivers/media/radio/radio-shark.c enum { BLUE_LED, BLUE_PULSE_LED, RED_LED, NO_LEDS, BLUE_IS_PULSE };
RED_LED            55 drivers/media/radio/radio-shark2.c enum { BLUE_LED, RED_LED, NO_LEDS };