Generated on Tue Sep 23 10:39:42 2008 for AVR32 - Interrupt Controller Driver by  doxygen 1.5.6