#define NB_PROCS        4 /* number of processors per cluster */

#define IRQ_PER_PROC	3 /* number of IRQ line between XICU and each proc */

#define CID_SHIFT	8 /* cluster ID to high paddr bits */

#define TTY_BASE	0xd0200000

#define ICU_BASE	0xd2200000