diff options
Diffstat (limited to 'aarch64_small/gen/map.hgen')
| -rw-r--r-- | aarch64_small/gen/map.hgen | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64_small/gen/map.hgen b/aarch64_small/gen/map.hgen index 62899c91..3d5419b4 100644 --- a/aarch64_small/gen/map.hgen +++ b/aarch64_small/gen/map.hgen @@ -1,3 +1,4 @@ +| `AArch64Unallocated -> `AArch64Unallocated | `AArch64TMStart t -> `AArch64TMStart (map_reg t) | `AArch64TMCommit -> `AArch64TMCommit | `AArch64TMAbort (retry,reason) -> `AArch64TMAbort (retry,reason) |