ARM_CPU_PART_CORTEX_A15
if (read_cpuid_part() == ARM_CPU_PART_CORTEX_A15) {
if (read_cpuid_part() == ARM_CPU_PART_CORTEX_A15) {
if (read_cpuid_part() == ARM_CPU_PART_CORTEX_A15) {
case ARM_CPU_PART_CORTEX_A15:
case ARM_CPU_PART_CORTEX_A15:
ret = bl_idle_driver_init(&bl_idle_big_driver, ARM_CPU_PART_CORTEX_A15);