[PATCH] Fix CPU hotplug when using the SLB shadow buffer

[Michael Neuling]

> > @@ -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