git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9694
6f19259b-4bc3-4df7-8a09-
765794883524
{\r
EFI_TPL OriginalTPL;\r
\r
- // Mask all interrupts\r
+ //\r
+ // DXE core uses this callback for the EFI timer tick. The DXE core uses locks \r
+ // that raise to TPL_HIGH and then restore back to current level. Thus we need\r
+ // to make sure TPL level is set to TPL_HIGH while we are handling the timer tick. \r
+ //\r
OriginalTPL = gBS->RaiseTPL (TPL_HIGH_LEVEL);\r
\r
MmioWrite32 (TIMER_CMD, 0);\r