TWL4030 Watchdog

modulename: twl4030_wdt.ko

configname: CONFIG_TWL4030_WATCHDOG

Linux Kernel Configuration
└─>Device Drivers
└─>Watchdog Timer Support
└─>TWL4030 Watchdog
In linux kernel since version 2.6.31 (release Date: 2009-09-09)  
Support for TI TWL4030 watchdog. Say 'Y' here to enable the
watchdog timer support for TWL4030 chips.

source code:
drivers/watchdog/twl4030_wdt.c