diff options
| author | jp | 2020-02-23 17:45:35 +0000 |
|---|---|---|
| committer | jp | 2020-02-23 17:45:35 +0000 |
| commit | e37855c0c43b8369aefa91cfd17889452011b137 (patch) | |
| tree | a62a9300112abd81830b1650a7d2d29421f62540 /lib/regfp.sail | |
| parent | 219f8ef5aec4d6a4f918693bccc9dc548716ea41 (diff) | |
| parent | dd32e257ddecdeece792b508cc05c9acab153e70 (diff) | |
Merge branch 'sail2' of https://github.com/rems-project/sail into sail2
Diffstat (limited to 'lib/regfp.sail')
| -rw-r--r-- | lib/regfp.sail | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/lib/regfp.sail b/lib/regfp.sail index 86b3cf17..7e5c9153 100644 --- a/lib/regfp.sail +++ b/lib/regfp.sail @@ -78,6 +78,35 @@ enum write_kind = { Write_X86_locked } +$ifdef ARM_SPEC +enum barrier_kind = { + Barrier_DMB_SY, + Barrier_DMB_ST, + Barrier_DMB_LD, + Barrier_DMB_ISH, + Barrier_DMB_ISHST, + Barrier_DMB_ISHLD, + Barrier_DMB_NSH, + Barrier_DMB_NSHST, + Barrier_DMB_NSHLD, + Barrier_DMB_OSH, + Barrier_DMB_OSHST, + Barrier_DMB_OSHLD, + Barrier_DSB_SY, + Barrier_DSB_ST, + Barrier_DSB_LD, + Barrier_DSB_ISH, + Barrier_DSB_ISHST, + Barrier_DSB_ISHLD, + Barrier_DSB_NSH, + Barrier_DSB_NSHST, + Barrier_DSB_NSHLD, + Barrier_DSB_OSH, + Barrier_DSB_OSHST, + Barrier_DSB_OSHLD, + Barrier_ISB +} +$else enum a64_barrier_domain = { A64_FullShare, A64_InnerShare, @@ -113,6 +142,7 @@ union barrier_kind = { Barrier_RISCV_i : unit, Barrier_x86_MFENCE : unit } +$endif enum trans_kind = { Transaction_start, |