# CONFIG_DEBUG_ENTRY is not set