# CONFIG_VIDEO_OMAP3_DEBUG is not set