OldMdePkg/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointerLibInternals.h

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