include/config/arch/clocksource/