diff options
Diffstat (limited to 'plugins/arm/v7/opdefs/wfe_A88424.d')
| -rw-r--r-- | plugins/arm/v7/opdefs/wfe_A88424.d | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/arm/v7/opdefs/wfe_A88424.d b/plugins/arm/v7/opdefs/wfe_A88424.d index 27c9386..0ef7b43 100644 --- a/plugins/arm/v7/opdefs/wfe_A88424.d +++ b/plugins/arm/v7/opdefs/wfe_A88424.d @@ -37,6 +37,8 @@ @syntax { + @subid 707 + @asm wfe } @@ -49,6 +51,8 @@ @syntax { + @subid 708 + @asm wfe.w } @@ -61,6 +65,8 @@ @syntax { + @subid 709 + @asm wfe @rules { |