|
@@ -909,6 +909,8 @@ int hpet_alloc(struct hpet_data *hdp)
|
|
|
|
|
|
hpetp->hp_delta = hpet_calibrate(hpetp);
|
|
hpetp->hp_delta = hpet_calibrate(hpetp);
|
|
|
|
|
|
|
|
+/* This clocksource driver currently only works on ia64 */
|
|
|
|
+#ifdef CONFIG_IA64
|
|
if (!hpet_clocksource) {
|
|
if (!hpet_clocksource) {
|
|
hpet_mctr = (void __iomem *)&hpetp->hp_hpet->hpet_mc;
|
|
hpet_mctr = (void __iomem *)&hpetp->hp_hpet->hpet_mc;
|
|
CLKSRC_FSYS_MMIO_SET(clocksource_hpet.fsys_mmio, hpet_mctr);
|
|
CLKSRC_FSYS_MMIO_SET(clocksource_hpet.fsys_mmio, hpet_mctr);
|
|
@@ -918,6 +920,7 @@ int hpet_alloc(struct hpet_data *hdp)
|
|
hpetp->hp_clocksource = &clocksource_hpet;
|
|
hpetp->hp_clocksource = &clocksource_hpet;
|
|
hpet_clocksource = &clocksource_hpet;
|
|
hpet_clocksource = &clocksource_hpet;
|
|
}
|
|
}
|
|
|
|
+#endif
|
|
|
|
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|