On Tue, Apr 17, 2018 at 1:38 AM, Alan Kao <alankao@xxxxxxxxxxxxx> wrote: > +static inline void write_counter(int idx, u64 value) > +{ > + /* currently not supported */ > +} CSR writes can be emulated: https://github.com/riscv/riscv-pk/pull/98 Or at least write_counter() should have BUG() or WARN_ONCE() or something like that. -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html