Generated on Thu Dec 17 20:00:30 2009 for AVR32 - Watchdog Driver by  doxygen 1.5.5