Restore original IDT entry if RegisterInterruptHandler() was used to unregister user...

[mirror_edk2.git] / UefiCpuPkg / CpuDxe / CpuDxe.h

diff --git a/UefiCpuPkg/CpuDxe/CpuDxe.h b/UefiCpuPkg/CpuDxe/CpuDxe.h
index e36cf1c82cf22f88bbf09fb92788ac952487380b..6d0d83ba0827368f8e2eea64aeef4c5b2d07adcf 100644 (file)
--- a/UefiCpuPkg/CpuDxe/CpuDxe.h
+++ b/UefiCpuPkg/CpuDxe/CpuDxe.h
@@ -275,6 +275,16 @@ SetDataSelectors (
   UINT16 Selector\r
   );\r
 \r
+/**\r
+  Restore original Interrupt Descriptor Table Handler Address.\r
+\r
+  @param Index        The Index of the interrupt descriptor table handle.\r
+\r
+**/\r
+VOID\r
+RestoreInterruptDescriptorTableHandlerAddress (\r
+  IN UINTN       Index\r
+  );\r
 \r
 #endif\r
 \r