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