#include "xbasic_types.h"
#include "xintc_l.h"
#include "xparameters.h"
extern void BSP_Timer2Handler (void *);
extern void BSP_Timer1Handler (void *);


XIntc_VectorTableEntry XIntc_InterruptVectorTable[XPAR_INTC_MAX_NUM_INTR_INPUTS] = {
	{
		BSP_Timer2Handler,
		(void *) XPAR_MYTIMER2_BASEADDR
	},
	{
		BSP_Timer1Handler,
		(void *) XPAR_MYTIMER1_BASEADDR
	}
};
Xuint32 XIntc_AckBeforeService = XPAR_MYINTC_KIND_OF_INTR;