/**
 * @file
 * @brief Advanced Interrupt Controller driver definitions.
 *
 * @date 11.07.10
 * @author Anton Kozlov
 */

#ifndef IRQCTRL_AT91_AIC_IMPL_H_
#define IRQCTRL_AT91_AIC_IMPL_H_

#define __IRQCTRL_IRQS_TOTAL 32

#endif /* IRQCTRL_AT91_AIC_IMPL_H_ */
