gpio_bit13        222 drivers/watchdog/smsc37b787_wdt.c 	gpio_bit13(0x08);  /* Select pin 80 = LED not GPIO */
gpio_bit13        255 drivers/watchdog/smsc37b787_wdt.c 	gpio_bit13(0x09);