red_led            97 arch/powerpc/platforms/44x/warp.c static unsigned green_led, red_led;
red_led           158 arch/powerpc/platforms/44x/warp.c 		gpio_set_value(red_led, value);
red_led           181 arch/powerpc/platforms/44x/warp.c 			red_led = of_get_gpio(child, 0);