Symbol: gpio_bit12
drivers/watchdog/smsc37b787_wdt.c
223
gpio_bit12(0x0A); /* Set pin 79 = WDT not
drivers/watchdog/smsc37b787_wdt.c
256
gpio_bit12(0x09);