# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
