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