LIOINTC_NUM_CORES
for (i = 0; i < LIOINTC_NUM_CORES; i++)
for (i = 0; i < LIOINTC_NUM_CORES; i++) {
void __iomem *core_isr[LIOINTC_NUM_CORES];
int core = liointc_core_id % LIOINTC_NUM_CORES;