CPU_BMIPS4380
boot_cpu_type() != CPU_BMIPS4380)
case CPU_BMIPS4380:
case CPU_BMIPS4380:
c->cputype = CPU_BMIPS4380;
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380:
if (current_cpu_type() != CPU_BMIPS4380)
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380:
case CPU_BMIPS4380: