64 	if (IS_ENABLED(CONFIG_BOOKE_OR_40x))  in __hard_irq_enable()
66 	else if (IS_ENABLED(CONFIG_PPC_8xx))  in __hard_irq_enable()
68 	else if (IS_ENABLED(CONFIG_PPC_BOOK3S_64))  in __hard_irq_enable()
76 	if (IS_ENABLED(CONFIG_BOOKE_OR_40x))  in __hard_irq_disable()
78 	else if (IS_ENABLED(CONFIG_PPC_8xx))  in __hard_irq_disable()
80 	else if (IS_ENABLED(CONFIG_PPC_BOOK3S_64))  in __hard_irq_disable()
88 	if (IS_ENABLED(CONFIG_BOOKE_OR_40x))  in __hard_EE_RI_disable()
90 	else if (IS_ENABLED(CONFIG_PPC_8xx))  in __hard_EE_RI_disable()
92 	else if (IS_ENABLED(CONFIG_PPC_BOOK3S_64))  in __hard_EE_RI_disable()
100 	if (IS_ENABLED(CONFIG_BOOKE_OR_40x))  in __hard_RI_enable()
103 	if (IS_ENABLED(CONFIG_PPC_8xx))  in __hard_RI_enable()
105 	else if (IS_ENABLED(CONFIG_PPC_BOOK3S_64))  in __hard_RI_enable()
147 	if (IS_ENABLED(CONFIG_PPC_IRQ_SOFT_MASK_DEBUG))  in irq_soft_mask_set()
214 	if (IS_ENABLED(CONFIG_PPC_IRQ_SOFT_MASK_DEBUG))  in set_pmi_irq_pending()
226 	if (IS_ENABLED(CONFIG_PPC_IRQ_SOFT_MASK_DEBUG))  in clear_pmi_irq_pending()
336 	if (IS_ENABLED(CONFIG_PPC_IRQ_SOFT_MASK_DEBUG)) {  in should_hard_irq_enable()
341 	if (!IS_ENABLED(CONFIG_PERF_EVENTS))  in should_hard_irq_enable()
350 	if (IS_ENABLED(CONFIG_PPC_BOOK3S_64) && !power_pmu_wants_prompt_pmi())  in should_hard_irq_enable()
364 	if (IS_ENABLED(CONFIG_PPC_IRQ_SOFT_MASK_DEBUG)) {  in do_hard_irq_enable()
408 	if (IS_ENABLED(CONFIG_BOOKE))  in arch_local_irq_restore()
418 	if (IS_ENABLED(CONFIG_BOOKE))  in arch_local_irq_save()
420 	else if (IS_ENABLED(CONFIG_PPC_8xx))  in arch_local_irq_save()