diff options
-rw-r--r-- | MdeModulePkg/Core/Dxe/Event/Tpl.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/MdeModulePkg/Core/Dxe/Event/Tpl.c b/MdeModulePkg/Core/Dxe/Event/Tpl.c index 240e8e453d..8ad0a33701 100644 --- a/MdeModulePkg/Core/Dxe/Event/Tpl.c +++ b/MdeModulePkg/Core/Dxe/Event/Tpl.c @@ -1,7 +1,7 @@ /** @file
Task priority (TPL) functions.
-Copyright (c) 2006 - 2010, Intel Corporation. All rights reserved.<BR>
+Copyright (c) 2006 - 2015, Intel Corporation. All rights reserved.<BR>
This program and the accompanying materials
are licensed and made available under the terms and conditions of the BSD License
which accompanies this distribution. The full text of the license may be found at
@@ -65,7 +65,10 @@ CoreRaiseTpl ( EFI_TPL OldTpl;
OldTpl = gEfiCurrentTpl;
- ASSERT (OldTpl <= NewTpl);
+ if (OldTpl > NewTpl) {
+ DEBUG ((EFI_D_ERROR, "FATAL ERROR - RaiseTpl with OldTpl(0x%x) > NewTpl(0x%x)\n", OldTpl, NewTpl));
+ ASSERT (FALSE);
+ }
ASSERT (VALID_TPL (NewTpl));
//
@@ -102,7 +105,10 @@ CoreRestoreTpl ( EFI_TPL OldTpl;
OldTpl = gEfiCurrentTpl;
- ASSERT (NewTpl <= OldTpl);
+ if (NewTpl > OldTpl) {
+ DEBUG ((EFI_D_ERROR, "FATAL ERROR - RestoreTpl with NewTpl(0x%x) > OldTpl(0x%x)\n", NewTpl, OldTpl));
+ ASSERT (FALSE);
+ }
ASSERT (VALID_TPL (NewTpl));
//
|