[3/3] Possible bugfix: make dmi_mark_tsc_unstable() call mark_tsc_unstable()

[Guillaume Chazarain]

Let the clocksource know the TSC is disabled.

Signed-off-by: Guillaume Chazarain <guichaz@xxxxxxxx>
---

diff -r a9fe2d530385 arch/i386/kernel/tsc.c
--- a/arch/i386/kernel/tsc.c	Sat Mar 03 22:13:29 2007 +0100
+++ b/arch/i386/kernel/tsc.c	Sat Mar 03 22:14:27 2007 +0100
@@ -317,7 +317,7 @@ static int __init dmi_mark_tsc_unstable(
{
	printk(KERN_NOTICE "%s detected: marking TSC unstable.\n",
		       d->ident);
-	tsc_disable = 1;
+	mark_tsc_unstable();
	return 0;
}



--
Guillaume
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/