]> git.proxmox.com Git - mirror_edk2.git/blobdiff - EdkNt32Pkg/Dxe/WinNtThunk/Chipset/Timer/Timer.c
Add some definitions for efi event in Uefi/UefiSpec.h to follow spec.
[mirror_edk2.git] / EdkNt32Pkg / Dxe / WinNtThunk / Chipset / Timer / Timer.c
index 18779a6b5e74719d457a9d5e789355c114baa679..3997c5f913f5291e8d23bdebbe080bb18623cb5b 100644 (file)
@@ -167,7 +167,7 @@ Returns:
     //\r
     if (Delta < 1000) {\r
 \r
-      OriginalTPL = gBS->RaiseTPL (EFI_TPL_HIGH_LEVEL);\r
+      OriginalTPL = gBS->RaiseTPL (TPL_HIGH_LEVEL);\r
 \r
       //\r
       //  Inform the firmware of an "timer interrupt".  The time\r