/**
 * @file
 *
 * @date 26 march 2016
 * @author: Anton Bondarev
 */
#ifndef DRIVERS_INTERRUPT_GIC_GIC_H_
#define DRIVERS_INTERRUPT_GIC_GIC_H_

#define __IRQCTRL_IRQS_TOTAL 256

#endif /* DRIVERS_INTERRUPT_GIC_GIC_H_ */
