X-Git-Url: https://git.proxmox.com/?p=mirror_edk2.git;a=blobdiff_plain;f=ArmPkg%2FDrivers%2FTimerDxe%2FTimerDxe.c;fp=ArmPkg%2FDrivers%2FTimerDxe%2FTimerDxe.c;h=a3202fa056f3026cd1c6ab3781649923d848d62c;hp=33d7c922221fa18c8f1ac7353487a60c77437d0c;hb=ac9b530e6b47c0957345e421b618d8bdd2bf21cf;hpb=b3fa393f477a12fe0e1aedb36395ca9b345ae110

diff --git a/ArmPkg/Drivers/TimerDxe/TimerDxe.c b/ArmPkg/Drivers/TimerDxe/TimerDxe.c
index 33d7c92222..a3202fa056 100644
--- a/ArmPkg/Drivers/TimerDxe/TimerDxe.c
+++ b/ArmPkg/Drivers/TimerDxe/TimerDxe.c
@@ -338,6 +338,7 @@ TimerInterruptHandler (
     // Set next compare value
     ArmGenericTimerSetCompareVal (CompareValue);
     ArmGenericTimerEnableTimer ();
+    ArmInstructionSynchronizationBarrier ();
   }
 
   gBS->RestoreTPL (OriginalTPL);