diff options
| author | AJFISH <AJFISH@6f19259b-4bc3-4df7-8a09-765794883524> | 2010-01-08 21:03:12 +0000 |
|---|---|---|
| committer | AJFISH <AJFISH@6f19259b-4bc3-4df7-8a09-765794883524> | 2010-01-08 21:03:12 +0000 |
| commit | cc726b9ffd38771454660d5bd6b4f197707e40d7 (patch) | |
| tree | 068a599b70c973e869e80cb1f2dc4455be002b9d | |
| parent | c22b6cdfa71a7621f7622a9d2a8c4b1b8e573e50 (diff) | |
| download | edk2-platforms-cc726b9ffd38771454660d5bd6b4f197707e40d7.tar.xz | |
update comments
git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@9694 6f19259b-4bc3-4df7-8a09-765794883524
| -rw-r--r-- | EmbeddedPkg/TemplateTimerDxe/Timer.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/EmbeddedPkg/TemplateTimerDxe/Timer.c b/EmbeddedPkg/TemplateTimerDxe/Timer.c index 4bfa3e8622..a48d4b52eb 100644 --- a/EmbeddedPkg/TemplateTimerDxe/Timer.c +++ b/EmbeddedPkg/TemplateTimerDxe/Timer.c @@ -72,7 +72,11 @@ TimerInterruptHandler ( {
EFI_TPL OriginalTPL;
- // Mask all interrupts
+ //
+ // DXE core uses this callback for the EFI timer tick. The DXE core uses locks
+ // that raise to TPL_HIGH and then restore back to current level. Thus we need
+ // to make sure TPL level is set to TPL_HIGH while we are handling the timer tick.
+ //
OriginalTPL = gBS->RaiseTPL (TPL_HIGH_LEVEL);
MmioWrite32 (TIMER_CMD, 0);
|