On Tue, Apr 17, 2018 at 1:38 AM, Alan Kao <alan...@andestech.com> 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.