After rebasing to edk2 commit 5e3719a, we found D05 would hang after printing a
lot of "Spurious interrupt" messages. The issue would gone away if we restored
the removal of "enable interrupt source":
  gInterrupt->EnableInterruptSource (gInterrupt, Source);

It can also be fixed if we add a "DSB" after reloading timer compare value, and
we think that it makes sense to do that.

Cc: Leif Lindholm <>
Cc: Ard Biesheuvel <>
Cc: Marc Zyngier <>

Heyi Guo (1):
  ArmPkg/TimerDxe: Add DSB for timer compare value reload

 ArmPkg/Drivers/TimerDxe/TimerDxe.c | 1 +
 1 file changed, 1 insertion(+)


edk2-devel mailing list

Reply via email to