Fix ICC building issue for Nt32 platform.

git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@6110 6f19259b-4bc3-4df7-8a09-765794883524
2008-10-14 08:59:32 +00:00
parent 5f300691d0
commit 0b94e31981
17 changed files with 58 additions and 56 deletions
--- a/Nt32Pkg/ResetRuntimeDxe/reset.c
+++ b/Nt32Pkg/ResetRuntimeDxe/reset.c
@@ -36,7 +36,7 @@ InitializeNtReset (
  );

 STATIC
-EFI_STATUS
+VOID
 EFIAPI
 WinNtResetSystem (
  IN EFI_RESET_TYPE   ResetType,
@@ -86,7 +86,7 @@ Returns:
 }

 STATIC
-EFI_STATUS
+VOID
 EFIAPI
 WinNtResetSystem (
  IN EFI_RESET_TYPE   ResetType,
@@ -124,5 +124,5 @@ Returns:
  //
  // Should never go here
  //
-  return EFI_SUCCESS;
+  ASSERT (FALSE);
 }