Serialize simulator on ERET
authorAndrew Waterman <waterman@cs.berkeley.edu>
Mon, 8 Feb 2016 01:04:28 +0000 (17:04 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Wed, 2 Mar 2016 20:15:25 +0000 (12:15 -0800)
commitdf37931703b2dbacb69227e2bbe0eb51f38ad87b
treeb510f474df40e6d333b8680ead7e1fb9d9916f18
parent66a37a5104172a874ae72c80480cba4edceb7505
Serialize simulator on ERET

This guarantees interrupts will eventually be taken.
riscv/decode.h
riscv/insns/sret.h