)\r
{\r
MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
- ArmDataSyncronizationBarrier ();\r
+ ArmDataSynchronizationBarrier ();\r
return EFI_SUCCESS;\r
}\r
\r
\r
// Needed to prevent infinite nesting when Time Driver lowers TPL\r
MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
- ArmDataSyncronizationBarrier ();\r
+ ArmDataSynchronizationBarrier ();\r
\r
InterruptHandler = gRegisteredInterruptHandlers[Vector];\r
if (InterruptHandler != NULL) {\r
\r
// Needed to clear after running the handler\r
MmioWrite32 (INTCPS_CONTROL, INTCPS_CONTROL_NEWIRQAGR);\r
- ArmDataSyncronizationBarrier ();\r
+ ArmDataSynchronizationBarrier ();\r
}\r
\r
//\r