From: Leonid Yegoshin<Leonid.Yegoshin@imgtec.com>
If CONFIG_CSRC_GIC is selected and the GIC is not found during
boot, then fallback to the R4K counter gracefully.

Is there any reason not to always register the r4k clocksource, no matter
whether the gic clocksource is present or not? The timekeeping core of the
kernel will make sure to use the best available clocksource based on the
clocksource's rating.
- Lars

Hi,

in theory yes, but the r4k csrc is coded in a way that it always assumes
to always be present and always be running.