/** @file\r
- Task priority (TPL) function\r
+ Task priority (TPL) functions.\r
\r
Copyright (c) 2006 - 2008, Intel Corporation. <BR>\r
All rights reserved. This program and the accompanying materials\r
\r
**/\r
\r
-#include <DxeMain.h>\r
+#include "DxeMain.h"\r
\r
\r
/**\r
/**\r
Return the highest set bit.\r
\r
- @param Number The value to check \r
+ @param Number The value to check\r
\r
@return Bit position of the highest set bit\r
\r
IN UINTN Number\r
)\r
{\r
- UINTN msb;\r
- \r
- msb = 31;\r
- while ((msb > 0) && ((Number & (UINTN)(1 << msb)) == 0)) {\r
- msb--;\r
+ UINTN Msb;\r
+\r
+ Msb = 31;\r
+ while ((Msb > 0) && ((Number & (UINTN)(1 << Msb)) == 0)) {\r
+ Msb--;\r
}\r
\r
- return msb;\r
+ return Msb;\r
}\r
\r
\r
Raise the task priority level to the new level.\r
High level is implemented by disabling processor interrupts.\r
\r
- @param NewTpl New task priority level \r
+ @param NewTpl New task priority level\r
\r
@return The previous task priority level\r
\r
//\r
\r
if (OldTpl >= TPL_HIGH_LEVEL && NewTpl < TPL_HIGH_LEVEL) {\r
- gEfiCurrentTpl = TPL_HIGH_LEVEL; \r
+ gEfiCurrentTpl = TPL_HIGH_LEVEL;\r
}\r
\r
//\r