4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// IPF specific Machine Specific Registers accessing functions.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync/// Copyright (c) 2008, 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//---------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// AsmReadMsr
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Reads the current value of a Machine Specific Register (MSR).
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Reads and returns the current value of the Machine Specific Register specified by Index. No
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// parameter checking is performed on Index, and if the Index value is beyond the implemented MSR
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// register range, a Reserved Register/Field fault may occur. The caller must either guarantee that
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Index is valid, or the caller must set up fault handlers to catch the faults. This function is
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// only available on IPF.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Arguments :
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// On Entry : The 8-bit Machine Specific Register index to read.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Return Value: The current value of the Machine Specific Register specified by Index.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//----------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//---------------------------------------------------------------------------------
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// AsmWriteMsr
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Writes the current value of a Machine Specific Register (MSR).
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Writes Value to the Machine Specific Register specified by Index. Value is returned. No
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// parameter checking is performed on Index, and if the Index value is beyond the implemented MSR
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// register range, a Reserved Register/Field fault may occur. The caller must either guarantee that
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Index is valid, or the caller must set up fault handlers to catch the faults. This function is
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// only available on IPF.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Arguments :
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// On Entry : The 8-bit Machine Specific Register index to write.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// The 64-bit value to write to the Machine Specific Register.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync// Return Value: The 64-bit value to write to the Machine Specific Register.
4fd606d1f5abe38e1f42c38de1d2e895166bd0f4vboxsync//----------------------------------------------------------------------------------