TianoCore EDK2 master
|
#include <Library/RegisterFilterLib.h>
Go to the source code of this file.
Functions | |
UINT64 EFIAPI | AsmWriteMsr64 (IN UINT32 Index, IN UINT64 Value) |
AsmWriteMsr64 function
Copyright (c) 2006 - 2021, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file WriteMsr64.c.
Writes a 64-bit value to a Machine Specific Register(MSR), and returns the value.
Writes the 64-bit value specified by Value to the MSR specified by Index. The 64-bit value written to the MSR is returned. No parameter checking is performed on Index or Value, and some of these may cause CPU exceptions. The caller must either guarantee that Index and Value are valid, or the caller must establish proper exception handlers. This function is only available on IA-32 and x64.
Index | The 32-bit MSR index to write. |
Value | The 64-bit value to write to the MSR. |
Definition at line 30 of file WriteMsr64.c.