4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// IPF specific AsmReadKr7() and AsmWriteKr7()
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// This program and the accompanying materials
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// are licensed and made available under the terms and conditions of the BSD License
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// which accompanies this distribution. The full text of the license may be found at
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// Module Name: AccessKr7.s
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//---------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// AsmReadKr7
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// This routine is used to get KR7.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Arguments :
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// On Entry : None.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Return Value: The value store in KR7.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//----------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//---------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// AsmWriteKr7
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// This routine is used to write KR7.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Arguments :
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// On Entry : None.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Return Value: The value written to the KR7.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//----------------------------------------------------------------------------------