# CONFIG_DEBUG_MISC is not set