···784784{785785 struct xics_cppr *os_cppr = &__get_cpu_var(xics_cppr);786786787787- BUG_ON(os_cppr->index != 0);787787+ /*788788+ * we only really want to set the priority when there's789789+ * just one cppr value on the stack790790+ */791791+ WARN_ON(os_cppr->index != 0);788792789789- os_cppr->stack[os_cppr->index] = cppr;793793+ os_cppr->stack[0] = cppr;790794791795 if (firmware_has_feature(FW_FEATURE_LPAR))792796 lpar_cppr_info(cppr);···825821826822void xics_teardown_cpu(void)827823{824824+ struct xics_cppr *os_cppr = &__get_cpu_var(xics_cppr);828825 int cpu = smp_processor_id();829826827827+ /*828828+ * we have to reset the cppr index to 0 because we're829829+ * not going to return from the IPI830830+ */831831+ os_cppr->index = 0;830832 xics_set_cpu_priority(0);831833832834 /* Clear any pending IPI request */