|
@@ -592,6 +592,10 @@ static inline void clocksource_select(void) { }
|
|
*/
|
|
*/
|
|
static int __init clocksource_done_booting(void)
|
|
static int __init clocksource_done_booting(void)
|
|
{
|
|
{
|
|
|
|
+ mutex_lock(&clocksource_mutex);
|
|
|
|
+ curr_clocksource = clocksource_default_clock();
|
|
|
|
+ mutex_unlock(&clocksource_mutex);
|
|
|
|
+
|
|
finished_booting = 1;
|
|
finished_booting = 1;
|
|
|
|
|
|
/*
|
|
/*
|