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)