//#define ARM_EB_L2x0_CTLR_BASE 0x1E00A000*/\r
\r
\r
-/*******************************************\r
-// Interrupt Map\r
-*******************************************/\r
-\r
-// Timer Interrupts\r
-#define TIMER01_INTERRUPT_NUM 34\r
-#define TIMER23_INTERRUPT_NUM 35\r
-\r
-\r
/*******************************************\r
// EFI Memory Map in Permanent Memory (DRAM)\r
*******************************************/\r