--- /dev/null
+/** @file\r
+ Simple PC Port 0x92 reset driver\r
+\r
+ Copyright (c) 2007, Intel Corporation<BR>\r
+ Portions copyright (c) 2008-2009, Apple Inc. All rights reserved.\r
+ \r
+ All rights reserved. This program and the accompanying materials\r
+ are licensed and made available under the terms and conditions of the BSD License\r
+ which accompanies this distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+\r
+**/\r
+ \r
+\r
+\r
+VOID\r
+LibResetInitializeReset (\r
+ VOID\r
+ )\r
+{\r
+}\r
+\r
+VOID\r
+LibResetVirtualAddressChangeEvent (\r
+ VOID\r
+ )\r
+{\r
+}\r
+\r
+\r
+VOID\r
+LibResetSystem (\r
+ IN EFI_RESET_TYPE ResetType,\r
+ IN EFI_STATUS ResetStatus,\r
+ IN UINTN DataSize,\r
+ IN CHAR16 *ResetData OPTIONAL\r
+ )\r
+{\r
+ UINT8 Data;\r
+\r
+ switch (ResetType) {\r
+ case EfiResetWarm:\r
+ case EfiResetCold:\r
+ case EfiResetShutdown:\r
+ Data = IoRead8 (0x92);\r
+ Data |= 1;\r
+ IoWrite8 (0x92, Data);\r
+ break;\r
+\r
+ default:\r
+ return ;\r
+ }\r
+\r
+ //\r
+ // Given we should have reset getting here would be bad\r
+ //\r
+ ASSERT (FALSE);\r
+}\r
+\r