# CONFIG_DRM_ETNAVIV_REGISTER_LOGGING is not set