Tony Breeds writes: > @@ -982,6 +906,10 @@ void __init time_init(void) > > write_sequnlock_irqrestore(&xtime_lock, flags); > > + /* Register the clocksource, if we're not running on iSeries */ > + if (!firmware_has_feature(FW_FEATURE_ISERIES)) > + clocksource_init(); This breaks the 32-bit compile. Is it possible to adjust the frequency of a clocksource after it has been registered? Or could the timebase clocksource be unregistered and reregistered in iSeries_tb_recal? Paul. - To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
