# define GICI_PADDR 0x1e000000
# define GICD_PADDR 0x1e001000
# define PL110_BASE 0x10020000 // Integrator
# define GICI_PADDR 0x1e000000
# define GICD_PADDR 0x1e001000
# define PL110_BASE 0x10020000 // Integrator
# define GICD_PADDR 0x50041000
# define GICI_PADDR 0x50040100
//# define PL110_BASE 0x10020000 // Integrator
# define GICD_PADDR 0x50041000
# define GICI_PADDR 0x50040100
//# define PL110_BASE 0x10020000 // Integrator