1# SPDX-License-Identifier: GPL-2.0 2config PPC_XICS 3 def_bool n 4 select PPC_SMP_MUXED_IPI 5 select HARDIRQS_SW_RESEND 6 7config PPC_ICP_NATIVE 8 def_bool n 9 10config PPC_ICP_HV 11 def_bool n 12 13config PPC_ICS_RTAS 14 def_bool n 15