// Dispatch any pending events\r
//\r
while (((-2 << NewTpl) & gEventPending) != 0) {\r
- gEfiCurrentTpl = HighBitSet64 (gEventPending);\r
+ gEfiCurrentTpl = (UINTN) HighBitSet64 (gEventPending);\r
if (gEfiCurrentTpl < TPL_HIGH_LEVEL) {\r
CoreSetInterruptState (TRUE);\r
}\r