\r
**/\r
\r
-#include <PiDxe.h>\r
+#include <Uefi.h>\r
#include <WinNtDxe.h>\r
#include <Protocol/Reset.h>\r
#include <Library/DebugLib.h>\r
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
IN EFI_STATUS ResetStatus,\r
IN UINTN DataSize,\r
- IN CHAR16 *ResetData OPTIONAL\r
+ IN VOID *ResetData OPTIONAL\r
);\r
\r
\r
return Status;\r
}\r
\r
-STATIC\r
-EFI_STATUS\r
+VOID\r
EFIAPI\r
WinNtResetSystem (\r
IN EFI_RESET_TYPE ResetType,\r
IN EFI_STATUS ResetStatus,\r
IN UINTN DataSize,\r
- IN CHAR16 *ResetData OPTIONAL\r
+ IN VOID *ResetData OPTIONAL\r
)\r
/*++\r
\r
//\r
// Should never go here\r
//\r
- return EFI_SUCCESS;\r
+ ASSERT (FALSE);\r
}\r