Spike uarch needs TLB flush after SPTBR write
authorAndrew Waterman <andrew@sifive.com>
Sat, 18 Feb 2017 11:03:10 +0000 (03:03 -0800)
committerAndrew Waterman <andrew@sifive.com>
Sat, 18 Feb 2017 11:03:10 +0000 (03:03 -0800)
commiteace5599606034850e28eef63f1e00eaf8eb6d26
tree054216cd1f21baa9c34aeeb76c64813960bb1610
parentd50376557741aec308b508214acf05f9f4631609
Spike uarch needs TLB flush after SPTBR write
riscv/encoding.h
riscv/processor.cc