RE: [PATCH] clocksource: vf_pit_timer: fix pit_read_sched_clock

[li.xi...@freescale.com]

> > diff --git a/drivers/clocksource/vf_pit_timer.c
> b/drivers/clocksource/vf_pit_timer.c
> > index 02821b0..a918bc4 100644
> > --- a/drivers/clocksource/vf_pit_timer.c
> > +++ b/drivers/clocksource/vf_pit_timer.c
> > @@ -54,7 +54,7 @@ static inline void pit_irq_acknowledge(void)
> >
> >   static u64 pit_read_sched_clock(void)
> >   {
> > -   return __raw_readl(clksrc_base + PITCVAL);
> > +   return ~__raw_readl(clksrc_base + PITCVAL);
> >   }
> >
> >   static int __init pit_clocksource_init(unsigned long rate)
> >
> 
> Hi Xiubo,
> 
> thanks for the patch but this has already been fixed [1] and is
> available in the timers/urgent branch.
> 

Good news and I will pull it.

Thanks,

BRs
Xiubo