1# SPDX-License-Identifier: GPL-2.0
 2config PPC_XIVE
 3	bool
 4	select PPC_SMP_MUXED_IPI
 5	select HARDIRQS_SW_RESEND
 6	select IRQ_DOMAIN_NOMAP
 7
 8config PPC_XIVE_NATIVE
 9	bool
10	select PPC_XIVE
11	depends on PPC_POWERNV
12
13config PPC_XIVE_SPAPR
14	bool
15	select PPC_XIVE

 1# SPDX-License-Identifier: GPL-2.0
 2config PPC_XIVE
 3	bool
 4	select PPC_SMP_MUXED_IPI
 5	select HARDIRQS_SW_RESEND
 
 6
 7config PPC_XIVE_NATIVE
 8	bool
 9	select PPC_XIVE
10	depends on PPC_POWERNV
11
12config PPC_XIVE_SPAPR
13	bool
14	select PPC_XIVE