diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-05-14 15:52:32 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-05-14 15:52:32 (GMT) |
commit | 6178efcee9fc18d11a773827dca8b95304e75731 (patch) | |
tree | 77c664dfac355b7af803d33b1afded7925647b6d /plugins/arm/v7/opdefs/wfi_A88425.d | |
parent | aba51093c8ebe4b0550557281f8d0d025027b1cb (diff) |
Used unique identifiers for instructions everywhere.
Diffstat (limited to 'plugins/arm/v7/opdefs/wfi_A88425.d')
-rw-r--r-- | plugins/arm/v7/opdefs/wfi_A88425.d | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/arm/v7/opdefs/wfi_A88425.d b/plugins/arm/v7/opdefs/wfi_A88425.d index 0f73c23..21553e1 100644 --- a/plugins/arm/v7/opdefs/wfi_A88425.d +++ b/plugins/arm/v7/opdefs/wfi_A88425.d @@ -37,6 +37,8 @@ @syntax { + @subid 710 + @asm wfi } @@ -49,6 +51,8 @@ @syntax { + @subid 711 + @asm wfi.w } @@ -61,6 +65,8 @@ @syntax { + @subid 712 + @asm wfi @rules { |