18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciconfig PPC_XIVE 38c2ecf20Sopenharmony_ci bool 48c2ecf20Sopenharmony_ci select PPC_SMP_MUXED_IPI 58c2ecf20Sopenharmony_ci select HARDIRQS_SW_RESEND 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ciconfig PPC_XIVE_NATIVE 88c2ecf20Sopenharmony_ci bool 98c2ecf20Sopenharmony_ci select PPC_XIVE 108c2ecf20Sopenharmony_ci depends on PPC_POWERNV 118c2ecf20Sopenharmony_ci 128c2ecf20Sopenharmony_ciconfig PPC_XIVE_SPAPR 138c2ecf20Sopenharmony_ci bool 148c2ecf20Sopenharmony_ci select PPC_XIVE 15