On Wed, Aug 21, 2019 at 12:24:31AM +0000, Atish Patra wrote:
> > +static inline void clint_set_timer(unsigned long delta)
> > +{
> > + writeq_relaxed(clint_read_timer() + delta,
> > + clint_time_cmp +
> > cpuid_to_hartid_map(smp_processor_id()));'
>
> This is not compatible with 32 bit mode. IIRC, timecmp is a 64 bit on
> RV32 as well. Here is the implementation in OpenSBI.
writeq alwasy writes 64-bit anyway, but the deltas is just 32-bit
per the Linux clocksource API.
> > +static inline cycles_t get_cycles(void)
> > +{
> > +#ifdef CONFIG_64BIT
> > + return readq_relaxed(clint_time_val);
> > +#else
> > + return readl_relaxed(clint_time_val);
> > +#endif
>
> Same comment as above. Both RV32 & RV64 bit have 64 bit have 64 bit
> precission for timer val. You have to read 32 bits at a time and "or"
> them to get 64 bit value. Here is the implementation from OpenSBI
But the Linux API is only going to read 32-bits of that, same as
for the rdtime pseudo-instruction used by the current SBI-based code.
Note that I've reworked this area a bit for v4, which I'm going to
send out soon, including cleanups to the existing code to make a few
of these things more obvious:
http://git.infradead.org/users/hch/riscv.git/shortlog/refs/heads/riscv-nommu.4
