# CONFIG_GUEST_PERF_EVENTS is not set
