18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciconfig PPC_XICS 38c2ecf20Sopenharmony_ci def_bool n 48c2ecf20Sopenharmony_ci select PPC_SMP_MUXED_IPI 58c2ecf20Sopenharmony_ci select HARDIRQS_SW_RESEND 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ciconfig PPC_ICP_NATIVE 88c2ecf20Sopenharmony_ci def_bool n 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ciconfig PPC_ICP_HV 118c2ecf20Sopenharmony_ci def_bool n 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciconfig PPC_ICS_RTAS 148c2ecf20Sopenharmony_ci def_bool n 15