EdkCompatibilityPkg/Foundation/Library/EdkIIGlueLib/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointerLibInternals.h

   1 /*++
   2
   3 Copyright (c) 2004 - 2006, Intel Corporation. All rights reserved.<BR>
   4 This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12
  13 Module Name:
  14
  15   PeiServicesTablePointerLibInternals.h
  16
  17 Abstract:
  18
  19   Declarations of internal functions in PeiServicesTableLibKr1.
  20
  21 --*/
  22
  23 #ifndef __PEI_SERVICES_TABLE_POINTER_LIB_INTERTALS_H__
  24 #define __PEI_SERVICES_TABLE_POINTER_LIB_INTERTALS_H__
  25
  26 #include "EdkIIGluePeim.h"
  27
  28 /**
  29   Reads the current value of Kr1.
  30
  31   @return The current value of Kr1.
  32
  33 **/
  34 UINT64
  35 EFIAPI
  36 AsmReadKr1 (
  37   VOID
  38   );
  39
  40 /**
  41   Writes the current value of Kr1.
  42
  43   @param  Value The 64-bit value to write to Kr1.
  44
  45 **/
  46 UINT64
  47 EFIAPI
  48 AsmWriteKr1 (
  49   IN UINT64  Value
  50   );
  51
  52 #endif