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

[Nathan Lynch]

Michael Neuling wrote:
> @@ -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()?

(sorry for not commenting earlier)