# CONFIG_DEBUG_TIMEKEEPING is not set