Add UefiCpuPkg.dsc and UefiCpuPkg.dec for UefiCpuPkg.

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

diff --git a/Nt32Pkg/ResetRuntimeDxe/reset.c b/Nt32Pkg/ResetRuntimeDxe/reset.c
index 9a19b5664c9a14f994de299cbc0f1fa72f10d1c6..21e44fb33f87973c0f7ebe1d405264f50df683aa 100644 (file)
--- a/Nt32Pkg/ResetRuntimeDxe/reset.c
+++ b/Nt32Pkg/ResetRuntimeDxe/reset.c
@@ -35,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
@@ -85,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
@@ -124,5 +122,5 @@ Returns:
   //\r
   // Should never go here\r
   //\r
-  return EFI_SUCCESS;\r
+  ASSERT (FALSE);\r
 }\r