|
From: <sv...@va...> - 2011-05-03 14:58:07
|
Author: sewardj
Date: 2011-05-03 15:57:59 +0100 (Tue, 03 May 2011)
New Revision: 2143
Log:
Support DMB and DSB variants on ARM. Bug 266035 comment 3.
(Jeff Brown, jef...@go...)
Modified:
trunk/priv/guest_arm_toIR.c
Modified: trunk/priv/guest_arm_toIR.c
===================================================================
--- trunk/priv/guest_arm_toIR.c 2011-05-03 11:08:39 UTC (rev 2142)
+++ trunk/priv/guest_arm_toIR.c 2011-05-03 14:57:59 UTC (rev 2143)
@@ -11942,11 +11942,25 @@
stmt( IRStmt_MBE(Imbe_Fence) );
DIP("ISB\n");
return True;
- case 0xF57FF04F: /* DSB */
+ case 0xF57FF04F: /* DSB sy */
+ case 0xF57FF04E: /* DSB st */
+ case 0xF57FF04B: /* DSB ish */
+ case 0xF57FF04A: /* DSB ishst */
+ case 0xF57FF047: /* DSB nsh */
+ case 0xF57FF046: /* DSB nshst */
+ case 0xF57FF043: /* DSB osh */
+ case 0xF57FF042: /* DSB oshst */
stmt( IRStmt_MBE(Imbe_Fence) );
DIP("DSB\n");
return True;
- case 0xF57FF05F: /* DMB */
+ case 0xF57FF05F: /* DMB sy */
+ case 0xF57FF05E: /* DMB st */
+ case 0xF57FF05B: /* DMB ish */
+ case 0xF57FF05A: /* DMB ishst */
+ case 0xF57FF057: /* DMB nsh */
+ case 0xF57FF056: /* DMB nshst */
+ case 0xF57FF053: /* DMB osh */
+ case 0xF57FF052: /* DMB oshst */
stmt( IRStmt_MBE(Imbe_Fence) );
DIP("DMB\n");
return True;
|