gic_clocksource_unstable
gic_clocksource_unstable("ref clock rate change");
static void gic_clocksource_unstable(char *reason);