diff options
| -rw-r--r-- | ArmPkg/Drivers/TimerDxe/TimerDxe.c | 1 |
1 files changed, 1 insertions, 0 deletions
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);
|