Generated on Fri Feb 19 02:27:57 2010 for AVR32 - Watchdog Driver by  doxygen 1.5.5