> > @@ -58,6 +59,7 @@ static void pseries_mach_cpu_die(void)
> >     local_irq_disable();
> >     idle_task_exit();
> >     xics_teardown_cpu(0);
> > +   unregister_slb_shadow(smp_processor_id(), __pa(get_slb_shadow()));
>                                      ^
> Should that not be hard_smp_processor_id()?

Thanks.. I think you're right since we register each CPU with a
get_hard_smp_processor_id(cpu).  

I'll update.

Mikey
_______________________________________________
Linuxppc-dev mailing list
Linuxppc-dev@ozlabs.org
https://ozlabs.org/mailman/listinfo/linuxppc-dev

Reply via email to