summaryrefslogtreecommitdiff
path: root/risc-v/riscv_extras_embed_sequential.lem
diff options
context:
space:
mode:
authorShaked Flur2017-09-02 08:09:44 +0100
committerShaked Flur2017-09-02 08:09:44 +0100
commit016cb11c78f84d02b40988958098b464dffc0f26 (patch)
treea3c752c068e49f9d376d7ed2c5f1dde878976d91 /risc-v/riscv_extras_embed_sequential.lem
parentf83c3d00f60a2507dfa5c3f31de6ddfc08eee610 (diff)
check the status of SC before doing the memory write
Diffstat (limited to 'risc-v/riscv_extras_embed_sequential.lem')
0 files changed, 0 insertions, 0 deletions