Generated on Thu Oct 16 12:53:36 2008 for AVR32 - Interrupt Controller Driver by  doxygen 1.5.6