Symbol: RPI_CPU_MAX
sys/arch/arm/broadcom/bcm283x_platform.c
1310
arm_cpu_max = RPI_CPU_MAX;
sys/arch/arm/broadcom/bcm283x_platform.c
1334
arm_cpu_max = RPI_CPU_MAX;