\r
ArmV7AllDataCachesOperation (DataCacheOperation);\r
\r
- ArmDrainWriteBuffer ();\r
+ ArmDataSynchronizationBarrier ();\r
\r
if (SavedInterruptState) {\r
ArmEnableInterrupts ();\r
VOID\r
)\r
{\r
- ArmDrainWriteBuffer ();\r
+ ArmDataSynchronizationBarrier ();\r
ArmV7DataCacheOperation (ArmInvalidateDataCacheEntryBySetWay);\r
}\r
\r
VOID\r
)\r
{\r
- ArmDrainWriteBuffer ();\r
+ ArmDataSynchronizationBarrier ();\r
ArmV7DataCacheOperation (ArmCleanInvalidateDataCacheEntryBySetWay);\r
}\r
\r
VOID\r
)\r
{\r
- ArmDrainWriteBuffer ();\r
+ ArmDataSynchronizationBarrier ();\r
ArmV7DataCacheOperation (ArmCleanDataCacheEntryBySetWay);\r
}\r