PcAtChipsetPkg/KbcResetDxe/Reset.h

   1 /** @file
   2
   3   Definitions for reset
   4
   5 Copyright (c) 2006 - 2010, Intel Corporation. All rights reserved. <BR>
   6 This program and the accompanying materials
   7 are licensed and made available under the terms and conditions of the BSD License
   8 which accompanies this distribution.  The full text of the license may be found at
   9 http://opensource.org/licenses/bsd-license.php
  10
  11 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13
  14 **/
  15
  16 #ifndef _KBC_RESET_H
  17 #define _KBC_RESET_H
  18
  19 #include <PiDxe.h>
  20
  21 #include <Library/IoLib.h>
  22 #include <Library/DebugLib.h>
  23 #include <Library/DebugLib.h>
  24 #include <Library/UefiBootServicesTableLib.h>
  25
  26 #include <Protocol/Reset.h>
  27
  28 /**
  29   Initialize the state information for the Reset Architectural Protocol
  30
  31   @param ImageHandle     Handle of the loaded driver
  32   @param SystemTable     Pointer to the System Table
  33
  34   @retval EFI_SUCCESS           Thread can be successfully created
  35   @retval EFI_OUT_OF_RESOURCES  Cannot allocate protocol data structure
  36   @retval EFI_DEVICE_ERROR      Cannot create the timer service
  37
  38 **/
  39 EFI_STATUS
  40 EFIAPI
  41 InitializeReset (
  42   IN EFI_HANDLE        ImageHandle,
  43   IN EFI_SYSTEM_TABLE  *SystemTable
  44   )
  45 ;
  46
  47 /**
  48   Reset the system.
  49
  50   @param ResetType       warm or cold
  51   @param ResetStatus     possible cause of reset
  52   @param DataSize        Size of ResetData in bytes
  53   @param ResetData       Optional Unicode string
  54
  55 **/
  56 VOID
  57 EFIAPI
  58 KbcResetSystem (
  59   IN EFI_RESET_TYPE   ResetType,
  60   IN EFI_STATUS       ResetStatus,
  61   IN UINTN            DataSize,
  62   IN VOID             *ResetData OPTIONAL
  63   )
  64 ;
  65
  66 #endif