CPU_BASE
MPIC_INFO(CPU_BASE) + cpu * MPIC_INFO(CPU_STRIDE),
core->cpu_base = core->base + CPU_BASE;
#define CPU_CS_BASE (CPU_BASE + 0x12000)
#define CPU_IC_BASE (CPU_BASE + 0x1f000)