Atmel application note (PDF!) for using the Watchdog in a callback configuration:
This driver for Atmel | SMART ARM-based microcontrollers provides an interface for the configuration and management of the device’s Watchdog Timer module, including the enabling, disabling, and kicking within the device. The following driver API modes are covered by this manual:
- Polled APIs
- Callback APIs