/**
 * @file
 * @brief PowerPC interrupt controller HAL definitions.
 *
 * @date 06.11.12
 * @author Ilia Vaprol
 */

#ifndef IRQCTRL_PPC_INTC_IMPL_H_
#define IRQCTRL_PPC_INTC_IMPL_H_

#define __IRQCTRL_IRQS_TOTAL 16

#endif /* IRQCTRL_PPC_INTC_IMPL_H_ */
