# CONFIG_PERCPU_STATS is not set