#ifndef __DRV_INTC_H
#define __DRV_INTC_H

__arm __irq void IRQ_Handler(void);

void INTC_Init(Int32U * VectorAddress);

void INTC_IRQInstall(VoidFpnt_t ISR, Int32U IRQIndex, 
                     Int32U Priority, Int32U Active);

void INTC_IntEnable(Int32U IRQIndex, Int32U Enable);

#endif /* __DRV_INTC_H */