INTCL_SIZE
INTCL_SIZE*nr_cpu_ids + INTCG_SIZE);
per_cpu(intcl_reg, cpu) = INTCL_base + (INTCL_SIZE * cpu);