+++ /dev/null
-/*++\r
-\r
-Copyright (c) 2004 - 2006, Intel Corporation. All rights reserved.<BR>\r
-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
-Module Name:\r
-\r
- PeiServicesTablePointerLibInternals.h\r
- \r
-Abstract: \r
-\r
- Declarations of internal functions in PeiServicesTableLibKr1.\r
-\r
---*/\r
-\r
-#ifndef __PEI_SERVICES_TABLE_POINTER_LIB_INTERTALS_H__\r
-#define __PEI_SERVICES_TABLE_POINTER_LIB_INTERTALS_H__\r
-\r
-#include "EdkIIGluePeim.h"\r
-\r
-/**\r
- Reads the current value of Kr1.\r
-\r
- @return The current value of Kr1.\r
-\r
-**/\r
-UINT64\r
-EFIAPI\r
-AsmReadKr1 (\r
- VOID\r
- );\r
-\r
-/**\r
- Writes the current value of Kr1.\r
-\r
- @param Value The 64-bit value to write to Kr1.\r
-\r
-**/\r
-UINT64\r
-EFIAPI\r
-AsmWriteKr1 (\r
- IN UINT64 Value\r
- );\r
-\r
-#endif\r