CONFIG_MIPS_GIC_IPI is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
default or selected kernelversion does not have config value CONFIG_MIPS_GIC_IPI.
Result is shown for kernelversion 6.4.14
CONFIG_MIPS_GIC_IPI (not configurable)
modulename: smp-gic.ko
configname: CONFIG_MIPS_GIC_IPI
Linux Kernel Configuration
└─>Kernel type
└─>MIPS_GIC_IPI