diff options
| author | Robert Norton | 2016-04-21 13:47:10 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-21 13:47:10 +0100 |
| commit | af4841d5fa173e2d9639afe737d9cdfab733c935 (patch) | |
| tree | 148dc14e5615cc6ce362758c01ab38345e81a20d /mips/mips_wrappers.sail | |
| parent | 6e53e8ea9e2824b157b2ccbd81a150e59905d788 (diff) | |
Introduce wrapper function around MEMw* so that we can clear tags on non-capability writes on cheri.
Diffstat (limited to 'mips/mips_wrappers.sail')
| -rw-r--r-- | mips/mips_wrappers.sail | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mips/mips_wrappers.sail b/mips/mips_wrappers.sail new file mode 100644 index 00000000..218f985a --- /dev/null +++ b/mips/mips_wrappers.sail @@ -0,0 +1,3 @@ +function unit effect {wmem} MEMw_wrapper(addr, size, data) = MEMw(addr, size, data) +function bool effect {wmem} MEMw_conditional_wrapper(addr, size, data) = + MEMw_conditional(addr, size, data)
\ No newline at end of file |