diff options
| author | Robert Norton | 2017-09-20 15:38:14 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-09-20 15:38:29 +0100 |
| commit | a02e52919de565fc3fba82723b48200fbf034ff9 (patch) | |
| tree | 98ef3c5caf88a6578e049430a6f852eb965e6154 /etc | |
| parent | c3b5af179dde8d0b2c272eb851ebdb59764468d0 (diff) | |
add support for x86 lock prefix (also remove unused Read/Write_tag kind in etc/regfp.sail.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index c0792df0..15d1a489 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -32,7 +32,6 @@ typedef diafp = const union { typedef read_kind = enumerate { Read_plain; - Read_tag; Read_reserve; Read_acquire; Read_exclusive; @@ -43,11 +42,11 @@ typedef read_kind = enumerate { Read_RISCV_reserved; Read_RISCV_reserved_acquire; Read_RISCV_reserved_strong_acquire; + Read_X86_locked; } typedef write_kind = enumerate { Write_plain; - Write_tag; Write_conditional; Write_release; Write_exclusive; @@ -57,6 +56,7 @@ typedef write_kind = enumerate { Write_RISCV_conditional; Write_RISCV_conditional_release; Write_RISCV_conditional_strong_release; + Write_X86_locked; } typedef barrier_kind = enumerate { |