static void __devinit smp_cell_setup_cpu(int cpu) { if (cpu != boot_cpuid) iic_setup_cpu(); /* * change default DABRX to allow user watchpoints */ mtspr(SPRN_DABRX, DABRX_KERNEL | DABRX_USER); }
static void __devinit smp_iic_setup_cpu(int cpu) { if (cpu != boot_cpuid) iic_setup_cpu(); }