CONFIG_HAVE_EXTRA_IPI_TRACEPOINTS (not configurable)
configname: CONFIG_HAVE_EXTRA_IPI_TRACEPOINTS
Linux Kernel Configuration
└─>Kernel hacking
└─>HAVE_EXTRA_IPI_TRACEPOINTS
In linux kernel since version 6.17 (release Date: 2025-09-28)
For architectures that use ipi_raise, ipi_entry and ipi_exit
tracepoints.
tracepoints.