# CONFIG_HAVE_PERF_EVENTS_NMI is not set
