Andrew Waterman bd241ea237 fix when badvaddr is set

2012-01-30 17:15:42 -08:00

..

src/main/scala

fix when badvaddr is set

2012-01-30 17:15:42 -08:00