2 Simple PC Port 0x92 reset driver
4 Copyright (c) 2007, Intel Corporation. All rights reserved.<BR>
5 Portions copyright (c) 2008 - 2009, Apple Inc. All rights reserved.<BR>
7 This program and the accompanying materials
8 are licensed and made available under the terms and conditions of the BSD License
9 which accompanies this distribution. The full text of the license may be found at
10 http://opensource.org/licenses/bsd-license.php
12 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
13 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
21 LibResetInitializeReset (
28 LibResetVirtualAddressChangeEvent (
37 IN EFI_RESET_TYPE ResetType
,
38 IN EFI_STATUS ResetStatus
,
40 IN CHAR16
*ResetData OPTIONAL
48 case EfiResetShutdown
:
49 Data
= IoRead8 (0x92);
51 IoWrite8 (0x92, Data
);
59 // Given we should have reset getting here would be bad