Merge pull request #67 from riscv/sfence_vma
authorPalmer Dabbelt <palmer@dabbelt.com>
Wed, 16 Aug 2017 20:42:50 +0000 (13:42 -0700)
committerGitHub <noreply@github.com>
Wed, 16 Aug 2017 20:42:50 +0000 (13:42 -0700)
Inform GCC that "sfence.vma" clobbers memory


Trivial merge