kernel/arch/powerpc/sysdev/xics/Kconfig
.. .. @@ -1,15 +1,14 @@ 1 1 # SPDX-License-Identifier: GPL-2.0 2 2 config PPC_XICS 3 - def_bool n4 - select PPC_SMP_MUXED_IPI5 - select HARDIRQS_SW_RESEND3 + def_bool n4 + select PPC_SMP_MUXED_IPI5 + select HARDIRQS_SW_RESEND6 6 7 7 config PPC_ICP_NATIVE 8 - def_bool n8 + def_bool n9 9 10 10 config PPC_ICP_HV 11 - def_bool n11 + def_bool n12 12 13 13 config PPC_ICS_RTAS 14 - def_bool n15 -14 + def_bool n