# CONFIG_GENERIC_CLOCKEVENTS_BROADCAST is not set
