Update DuetPkg to include DxePcdDriver.

[mirror_edk2.git] / Nt32Pkg / ResetRuntimeDxe / reset.c

diff --git a/Nt32Pkg/ResetRuntimeDxe/reset.c b/Nt32Pkg/ResetRuntimeDxe/reset.c
index a4df52f19a3538b4f2d00814a6d6637fe1b87510..21e44fb33f87973c0f7ebe1d405264f50df683aa 100644 (file)
--- a/Nt32Pkg/ResetRuntimeDxe/reset.c
+++ b/Nt32Pkg/ResetRuntimeDxe/reset.c
@@ -1,4 +1,4 @@
-/*++\r
+/**@file\r
 \r
 Copyright (c) 2006, Intel Corporation                                                         \r
 All rights reserved. This program and the accompanying materials                          \r
@@ -17,14 +17,16 @@ Abstract:
 \r
   Reset Architectural Protocol as defined in Tiano under NT Emulation\r
 \r
---*/\r
-\r
+**/\r
 \r
+#include <Uefi.h>\r
+#include <WinNtDxe.h>\r
+#include <Protocol/Reset.h>\r
+#include <Library/DebugLib.h>\r
+#include <Library/UefiDriverEntryPoint.h>\r
+#include <Library/WinNtLib.h>\r
+#include <Library/UefiBootServicesTableLib.h>\r
 \r
-//\r
-// Include common header file for this module.\r
-//\r
-#include "CommonHeader.h"\r
 \r
 EFI_STATUS\r
 EFIAPI\r
@@ -33,8 +35,7 @@ InitializeNtReset (
   IN EFI_SYSTEM_TABLE  *SystemTable\r
   );\r
 \r
-STATIC\r
-EFI_STATUS\r
+VOID\r
 EFIAPI\r
 WinNtResetSystem (\r
   IN EFI_RESET_TYPE   ResetType,\r
@@ -83,8 +84,7 @@ Returns:
   return Status;\r
 }\r
 \r
-STATIC\r
-EFI_STATUS\r
+VOID\r
 EFIAPI\r
 WinNtResetSystem (\r
   IN EFI_RESET_TYPE   ResetType,\r
@@ -122,5 +122,5 @@ Returns:
   //\r
   // Should never go here\r
   //\r
-  return EFI_SUCCESS;\r
+  ASSERT (FALSE);\r
 }\r