2 // Copyright (c) 2007, Intel Corporation. All rights reserved.<BR>
3 // This program and the accompanying materials
4 // are licensed and made available under the terms and conditions of the BSD License
5 // which accompanies this distribution. The full text of the license may be found at
6 // http://opensource.org/licenses/bsd-license.php
8 // THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
9 // WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
17 // Contains an implementation of Read/Write Kr7 for the Itanium-based architecture.
29 //----------------------------------------------------------------------------------
36 // This routine saves the given input value into the kernel register 7
40 // On Entry : 64 bit value to be saved.
45 //----------------------------------------------------------------------------------
46 PROCEDURE_ENTRY (AsmWriteKr7)
47 NESTED_SETUP (1,2,0,0)
51 PROCEDURE_EXIT (AsmWriteKr7)
53 //---------------------------------------------------------------------------------
60 // This routine returns the value of the kernel register 7
66 // Return Value: 64bit Value of the register.
69 //----------------------------------------------------------------------------------
70 PROCEDURE_ENTRY (AsmReadKr7)
71 NESTED_SETUP (0,2,0,0)
74 PROCEDURE_EXIT (AsmReadKr7)
75 //----------------------------------------------------------------------------------