# CONFIG_HZ_PERIODIC is not set