|
@@ -283,10 +283,13 @@ void __devinit vmi_time_ap_init(void)
|
|
#endif
|
|
#endif
|
|
|
|
|
|
/** vmi clocksource */
|
|
/** vmi clocksource */
|
|
|
|
+static struct clocksource clocksource_vmi;
|
|
|
|
|
|
static cycle_t read_real_cycles(void)
|
|
static cycle_t read_real_cycles(void)
|
|
{
|
|
{
|
|
- return vmi_timer_ops.get_cycle_counter(VMI_CYCLES_REAL);
|
|
|
|
|
|
+ cycle_t ret = (cycle_t)vmi_timer_ops.get_cycle_counter(VMI_CYCLES_REAL);
|
|
|
|
+ return ret >= clocksource_vmi.cycle_last ?
|
|
|
|
+ ret : clocksource_vmi.cycle_last;
|
|
}
|
|
}
|
|
|
|
|
|
static struct clocksource clocksource_vmi = {
|
|
static struct clocksource clocksource_vmi = {
|