1#------------------------------------------------------------------------------
2#
3# Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
4# This program and the accompanying materials
5# are licensed and made available under the terms and conditions of the BSD License
6# which accompanies this distribution.  The full text of the license may be found at
7# http://opensource.org/licenses/bsd-license.php
8#
9# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
10# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
11#
12# Module Name:
13#
14#   ReadMsr64.S
15#
16# Abstract:
17#
18#   AsmReadMsr64 function
19#
20# Notes:
21#
22#------------------------------------------------------------------------------
23
24#include <EdkIIGlueBase.h>
25#------------------------------------------------------------------------------
26# UINT64
27# EFIAPI
28# AsmReadMsr64 (
29#   IN UINT32  Index
30#   );
31#------------------------------------------------------------------------------
32.globl ASM_PFX(AsmReadMsr64)
33ASM_PFX(AsmReadMsr64):
34    rdmsr                               # edx & eax are zero extended
35    shl     $0x20, %rdx
36    or      %rdx, %rax
37    ret
38