#------------------------------------------------------------------------------
#
-# Copyright (c) 2006, Intel Corporation
+# Copyright (c) 2006 - 2008, Intel Corporation
# All rights reserved. This program and the accompanying materials
# are licensed and made available under the terms and conditions of the BSD License
# which accompanies this distribution. The full text of the license may be found at
# IN UINT32 Index,
# IN UINT64 Value
# );
-# TODO:
#------------------------------------------------------------------------------
-.global _AsmWriteMsr64;
-.align 16;
-_AsmWriteMsr64:
- mov %rdx, %rax
- shr $0x20, %rdx
+.global ASM_PFX(AsmWriteMsr64)
+.align 16
+ASM_PFX(AsmWriteMsr64):
+ mov %rdx, %rax # meanwhile, rax <- return value
+ shr $0x20, %rdx # edx:eax contains the value to write
wrmsr
ret