BCM_LINTC_PIRR_IRQ_EN_CORE
mask |= BCM_LINTC_PIRR_IRQ_EN_CORE(cpu);
BCM_LINTC_PIRR_IRQ_EN_CORE(cpu));