diff options
Diffstat (limited to 'etc/regfp.sail')
| -rw-r--r-- | etc/regfp.sail | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index dcd38f76..3c90c269 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -61,6 +61,7 @@ typedef barrier_kind = enumerate { Barrier_DSB_ST; Barrier_DSB_LD; Barrier_ISB; + Barrier_MIPS_SYNC; } typedef instruction_kind = const union { @@ -69,4 +70,4 @@ typedef instruction_kind = const union { (write_kind) IK_mem_write; IK_cond_branch; IK_simple -}
\ No newline at end of file +} |