# CONFIG_PARIDE_KTTI is not set
