1config PPC_XIVE 2 bool 3 default n 4 select PPC_SMP_MUXED_IPI 5 select HARDIRQS_SW_RESEND 6 7config PPC_XIVE_NATIVE 8 bool 9 default n 10 select PPC_XIVE 11 depends on PPC_POWERNV 12